DMCA

Partial orders for efficient BMC of concurrent software (2013)

Cached

Download Links

by Jade Alglave , Daniel Kroening , Michael Tautschnig
Citations:4 - 2 self