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

Sign up or Subscribe as an Academic Department or Institution here

or recommend Faculti to your librarian here

Already a Faculti member? Sign in here

Recommended for you

0