Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
Doron A. Peled
,
Michael Wooldridge
Details
OL Work ID
OL27437847W
Find this book
Open Library