Safraless procedures for timed specifications

Technical Report PDF: 
Technical Report Number: 
2010.142
TitleSafraless procedures for timed specifications
Publication TypeConference Paper
Year of Publication2010
AuthorsDi Giampaolo, B, Geeraerts G, Raskin J-F, Sznajder N
EditorSpringer
Conference NameProceedings of FORMATS 2010, 8th International Conference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems
URLhttp://www.ulb.ac.be/di/ssd/ggeeraer/papers/safraless.pdf
Refereed DesignationRefereed