Principles of Model Checking

Aus International Center for Computational Logic
Version vom 22. November 2016, 21:40 Uhr von Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Joost-Pieter Katoen }} {{Book |Buch oder Collection=Buch |Ti…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

Principles of Model Checking

Christel BaierChristel Baier,  Joost-Pieter KatoenJoost-Pieter Katoen
Principles of Model Checking


  • ISBN: ISBN-13: 978-0262026499
Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, 2008
@book{BK2008,
  author    = {Christel Baier and Joost-Pieter Katoen},
  title     = {Principles of Model Checking},
  publisher = {The {MIT} Press},
  year      = {2008}
}