Subject

Model Checking.

Explore catalogue records classified under Model Checking..

1 catalogue record

Catalogue records

Model Checking and Artificial Intelligence Doron A. Peled, Michael J. Wooldrige (eds.) 2009