Almost ASAP Semantics: From Timed Models to Timed Implementations

Technical Report PDF: 
Technical Report Number: 
2003.20
TitleAlmost ASAP Semantics: From Timed Models to Timed Implementations
Publication TypeConference Paper
Year of Publication2004
AuthorsDe Wulf, M, Doyen L, Raskin J-F
Conference NameHSCC