As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

Kim Guldstrand Larsen, Gerd Behrmann, E. Brinksma, A. Fehnker, T. Hune, P. Pettersson, J. Romijn

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

113 Citationer (Scopus)
OriginalsprogEngelsk
TitelComputer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings : Lecture Notes in Computer Science
RedaktørerBerry, G. : Comon, H. : Finkel, A. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2102
Sider493-505
ISBN (Trykt)3540423451
StatusUdgivet - 2001
BegivenhedAs Cheap as Possible -
Varighed: 19 maj 2010 → …

Konference

KonferenceAs Cheap as Possible
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater