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 BMC of Concurrent Software….

Total
0
Shares
Leave a Reply

Your email address will not be published. Required fields are marked *

×
As a Guest, you have insight(s) remaining for this month. Create a free account to view 300 more annually.
Related Posts
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

Install
×