Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM - United States
doi 10.1145/1995376.1995396
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 1, 2011
Authors
Publisher
Association for Computing Machinery (ACM)