BibSonomy :: publication :: Principles of Model Checking
URLDOITeX

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

  • Last update 5 years and 9 months ago
  • Created 5 years and 9 months ago

Cite this publication