Partial Orders for Efficient BMC of Concurrent Software

University of Oxford

American University

University of the West of England

Curtin University

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

Queen Mary University of London

error: Faculti Content is protected. Please check our Privacy Policy and Terms and Conditions.

Add the Faculti Web App to your Mobile or Desktop homescreen