Partial Orders for Efficient BMC of Concurrent Software

Dr Michael Tautschnig, Queen Mary, University of London Alglave J, Kroening D, Tautschnig M (2013) . Partial Orders for Efficient […]


Register for free to view pre-selected videos here

To view the full video. Subscribe to Faculti Subscription – All Core Categories after registering here to view this video.

Or sign-in here if you are already a Faculti member.

View all Subscription options here

Recommended for you

0