CTL as an intermediate language

Neil Deaton Jones, Rene Rydhof Hansen

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
PublisherSpringer
Publication date2008
Pages4-
ISBN (Print)978-3-540-78162-2
DOIs
Publication statusPublished - 2008
SeriesLecture Notes in Computer Science
Number4905
ISSN0302-9743

Cite this

Jones, N. D., & Hansen, R. R. (2008). CTL as an intermediate language. In Verification, Model Checking, and Abstract Interpretation (pp. 4-). Springer. Lecture Notes in Computer Science, No. 4905 https://doi.org/10.1007/978-3-540-78163-9_2