Automatic Verification of Real-Time Systems Using Epsilon

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Original languageEnglish
Title of host publicationFourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94
EditorsVoung, S.-T. : Chanson, S.-T. (Eds.)
PublisherChapman & Hall
Publication date1994
Pages232-330
Publication statusPublished - 1994
EventAutomatic Verification of Real-Time Systems Using Epsilon -
Duration: 19 May 2010 → …

Conference

ConferenceAutomatic Verification of Real-Time Systems Using Epsilon
Period19/05/2010 → …

Cite this

Godskesen, J. C., Larsen, K. G., & Skou, A. (1994). Automatic Verification of Real-Time Systems Using Epsilon. In Voung, S.-T. : Chanson, S.-T. (Eds.) (Ed.), Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94 (pp. 232-330). Chapman & Hall.