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 video, Subscribe or Upgrade here or recommend Faculti to your librarian here.

Already a Faculti member? Sign in here

Request a Trial

Call UK on +44 (0) 203 318 2241

Call USA on +1 857 239 0762

Email us here.

Recommended for you

0