Partial Orders for Efficient BMC of Concurrent Software

All Videos

Collections

Climate Finance, Risk, and Governance Law, AI, and Ethics in Digital Societies Economics of Uncertainty and Disasters Business, Technology, and Power Structures Architecture as Political Memory and Agency Power, Violence, and the Political Imagination Imperial Legacies, Design, and Global History

DatabankBeta Case Law DOI's Institutions Knowledge Base

Popular Categories

Law Economics Finance Political Science Business Architecture Engineering Science Education History Psychology All Professional All Arts and Humanities All Social Sciences All Sciences

Law Economics Finance Political Science Business Architecture Engineering Science Education History Psychology All Professional All Arts and Humanities All Social Sciences All Sciences Literature Mathematics Computer Science Philosophy Biology Chemistry View all categories

Support

For Universities For Research Comms For Teams Upgrade About Member Support Privacy Terms

Copyright Faculti 2013-2025. All Rights Reserved.

Partial Orders for Efficient BMC of Concurrent Software

Faculti

Queen Mary University of London

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

No Section clips Available

AI-generated questions for this video will appear here once processed.

Ask the video a question: Explore the transcript or get definitions

Loading...

Partial Orders for Efficient BMC of Concurrent Software