BibSonomy :: publication :: Principles of Model Checking

Principles of Model Checking

Christel Baier, and Joost-Pieter Katoen. The MIT Press, (2008)


MR: Gute und breite Einführung in die Thematik des Model Checking und formaler Ansätze.

Links and resources

BibTeX key:Baier2008
internal link:
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
search on:

Comments or reviews  

There is no review or comment yet. You can write one!


  • Last update 6 years and 3 months ago.
  • Created 6 years and 3 months ago.

Cite this publication