Research news, analysis and insights

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 *

Previous Article

Human morality, altruism and economic decision making

Next Article

Practice-based sustainable design strategies

×
You have free insight(s) remaining for this month.
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
×