%0 Book %1 Baier2008 %A Baier, Christel %A Katoen, Joost-Pieter %D 2008 %I The MIT Press %K CTL LTL Markov-Chains checking formal logic model model-checker propositional %T Principles of Model Checking %U http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D026202649X %@ 026202649X

@book{Baier2008, added-at = {2008-07-28T10:35:38.000+0200}, asin = {026202649X}, author = {Baier, Christel and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/259602f665024d39df5d3ef38ce138ef3/ist_spl}, description = {MR: Gute und breite Einführung in die Thematik des Model Checking und formaler Ansätze.}, dewey = {004.24}, ean = {9780262026499}, interhash = {050954942095dcc29dfafe5e64784433}, intrahash = {59602f665024d39df5d3ef38ce138ef3}, isbn = {026202649X}, keywords = {CTL LTL Markov-Chains checking formal logic model model-checker propositional}, publisher = {The MIT Press}, timestamp = {2008-07-28T10:35:39.000+0200}, title = {Principles of Model Checking}, url = {http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D026202649X}, year = 2008 }