@ist_spl@ist_spl

Principles of Model Checking

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

Description

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

Links and resources

URL:
http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D026202649X
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  
(0)

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

Tags


Cite this publication