Partial Orders for Efficient BMC of Concurrent Software

Cite Embed

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

Image courtesy of the interviewee


Report Infringement

Sign-up

Leave a Reply

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

×
Many colleges and universities have institutional memberships. If you are affiliated with a subscribing institution, please access Faculti through your on-campus or proxy IP address. Alternatively, as a Guest, you have insight(s) remaining for this month. Register for free and view thousands of insights in our archive today.
Related Posts

The Concept of Injustice

Eric Heinze insists upon a re-thinking of Western theories of Justice. For 2500 years, philosophers have subordinated the…
error:

Add the Faculti Web App to your Mobile or Desktop homescreen

Install
×