DMCA

Priced Timed Automata: Algorithms and Applications

Cached

Download Links

by Gerd Behrmann , Kim G. Larsen , Jacob I. Rasmussen
Venue:in International Symposium Formal Methods for Components and Objects (FMCO
Citations:6 - 2 self