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 […]

This video can only be viewed by members. To view sign up, upgrade or log in here if you are already a member of Faculti.

Recommended for you

0