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

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.

Comments or reviews  

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


Cite this publication