Mit Press

Principles of Model Checking by Christel Baier, Joost-Pieter Katoen

Principles of Model Checking

Mit Press

Christel Baier, Joost-Pieter Katoen

975 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced