@inproceedings{2f378da08ac211dbbb3d000ea68e967b,
title = "Automatic Verification of Real-Time Systems Using Epsilon",
author = "Godskesen, {Jens Chr.} and Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; -; Automatic Verification of Real-Time Systems Using Epsilon ; Conference date: 19-05-2010",
year = "1994",
language = "English",
pages = "232--330",
editor = "{Voung, S.-T. : Chanson, S.-T. (Eds.)}",
booktitle = "Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94",
publisher = "Chapman & Hall",
}