Quantitative Analysis of Real-Time Systems Using Priced Timed Automata.

Saved in:

Bibliographic Details
Title:	Quantitative Analysis of Real-Time Systems Using Priced Timed Automata.
Authors:	Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G.
Source:	Communications of the ACM; September 2011, Vol. 54 Issue 9, p78-87, 10p
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/1995376.1995396