Principles of Model Checking

PublikationenPublications

• Nach AutorBy Author
  • Christel BaierChristel Baier
• Nach ForschungsgruppeBy Research Group
  • Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

Toggle side column

Principles of Model Checking

Christel BaierChristel Baier,  Joost-Pieter KatoenJoost-Pieter Katoen

• ISBN: ISBN-13: 978-0262026499

Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, 2008

• Details
• Bibtex

• Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

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