Temporal Logic Model Checking

Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationHandbook of Networked and Embedded Control Systems
EditorsDimitrios Hristu-Varsakelis, William S. Levine
PublisherBirkhäuser
Pages539-558
Number of pages20
ISBN (Electronic)978-0-8176-4404-8
ISBN (Print)978-0-8176-3239-7
DOIs
Publication statusPublished - 2005
Externally publishedYes

Publication series

NameControl engineering

Cite this