Almost ASAP semantics: from timed models to timed implementations

Technical Report PDF: 
Technical Report Number: 
2005.45
TitleAlmost ASAP semantics: from timed models to timed implementations
Publication TypeJournal Article
Year of Publication2005
AuthorsDe Wulf, M, Doyen L, Raskin J-F
JournalFormal Asp. Comput.
Volume17
Pagination319-341