Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record books/sp/necs2005/ClarkeFJV05
@incollection{DBLP:books/sp/necs2005/ClarkeFJV05, author = {Edmund M. Clarke and Ansgar Fehnker and Sumit Kumar Jha and Helmut Veith}, editor = {Dimitrios Hristu{-}Varsakelis and William S. Levine}, title = {Temporal Logic Model Checking}, booktitle = {Handbook of Networked and Embedded Control Systems}, pages = {539--558}, publisher = {Birkh{\"{a}}user}, year = {2005}, timestamp = {Fri, 31 Mar 2017 07:50:15 +0200}, biburl = {https://dblp.org/rec/books/sp/necs2005/ClarkeFJV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.