Book3004: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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…“)
 
Johannes Lehmann (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
Zeile 14: Zeile 14:
|Bild=PrinciplesMC.jpeg
|Bild=PrinciplesMC.jpeg
|ISBN=ISBN-13: 978-0262026499
|ISBN=ISBN-13: 978-0262026499
|Forschungsgruppe=Automatentheorie
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
}}
}}

Aktuelle Version vom 6. März 2025, 12:03 Uhr

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}
}