Partial orders for efficient bmc of concurrent software (0)

by J Alglave, D Kroening, M Tautschnig
Venue:CoRR