%0 Book Section %1 Clarke05 %A Clarke, Edmund %A Fehnker, Ansgar %A Jha, Sumit Kumar %A Veith, Helmut %B Handbook of Networked and Embedded Control Systems %D 2005 %E Hristu-Varsakelis, Dimitrios %E Levine, WilliamS. %I Birkhäuser Boston %K Model checking %T Temporal Logic Model Checking

@incollection{Clarke05, added-at = {2013-03-18T13:42:58.000+0100}, author = {Clarke, Edmund and Fehnker, Ansgar and Jha, Sumit Kumar and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2c08a9c6e86ae5c417768d27c3b85fd91/andiv}, booktitle = {Handbook of Networked and Embedded Control Systems}, editor = {Hristu-Varsakelis, Dimitrios and Levine, WilliamS.}, interhash = {8e2fb26e2082a488fbe65c9bf18b7fef}, intrahash = {c08a9c6e86ae5c417768d27c3b85fd91}, keywords = {Model checking}, publisher = {Birkhäuser Boston}, series = {Control Engineering}, timestamp = {2013-03-18T13:43:35.000+0100}, title = {Temporal Logic Model Checking}, year = 2005 }