Partial Orders for Efficient Bounded Model Checking of Concurrent Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jade Alglave, Daniel Kroening, Michael Tautschnig. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 141-157, Springer, 2013. [doi]

This author has not been identified. Look up 'Jade Alglave' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. It may be one of the following persons:

Michael Tautschnig

Look up 'Michael Tautschnig' in Google

runs on WebDSL