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….

Report Infringement

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

×
As a Guest, you have insight(s) remaining for this month. Create a free account to view 300 more annually.
Related Posts

Atmospheric boundary layer flow

Marc Parlange discusses the measurement and simulation of air and water flows over complex terrain, with a focus on how air turbulence and atmospheric dynamics (atmospheric boundary layer flow) influence urban, agricultural and alpine environments.
error:

Add the Faculti Web App to your Mobile or Desktop homescreen

Install
×