Patterns for Timed Property Specifications

Authors: 
Gruhn, Volker
Laue, Ralf
Year: 
2005
Appeared / Erschienen in: 
International Workshop on Quantitative Aspects of Programming Languages (QAPL2005), Edinburgh, Scotland, 02.04.2005 - 03.04.2005
Pubdate / Erscheinungsdatum: 
02.04.2005