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

To watch this premium video, subscribe or upgrade for unlimited access.

Sign-up or Upgrade here

Existing subscribers, please log in here

Recommended for you

Sponsored
0