BibSonomy :: publication :: Principles of Model Checking
URLDOITeX

publication post of ist_spl

discussion

(0)

resources (URL, PDF, ...)

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

Description

MR: Gute und breite Einführung in die Thematik des Model Checking und formaler Ansätze.
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact