Model Checking and Artificial Intelligence

Ediciones (1)

• Model Checking and Artificial Intelligence (2009)

  Springer · inglés · ISBN 9783642004315

Más obras de Doron A. Peled

Automated Technology for Verification and Analysis

Computer aided verification