Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, A. Fehnker, T. Hune, Kim Guldstrand Larsen, P. Pettersson, J. Romijn, F. Vaandrager

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

200 Citationer (Scopus)
OriginalsprogEngelsk
TitelHybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings : Lecture Notes in Computer Science
RedaktørerDi Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2034
Sider147-161
ISBN (Trykt)3540418660
StatusUdgivet - 2001
BegivenhedMinimum-Cost Reachability for Priced Timed Automata -
Varighed: 19 maj 2010 → …

Konference

KonferenceMinimum-Cost Reachability for Priced Timed Automata
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citer dette

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J., & Vaandrager, F. (2001). Minimum-Cost Reachability for Priced Timed Automata. I Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.) (red.), Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science (2034 udg., s. 147-161). IEEE Computer Society Press.
Behrmann, Gerd ; Fehnker, A. ; Hune, T. ; Larsen, Kim Guldstrand ; Pettersson, P. ; Romijn, J. ; Vaandrager, F. / Minimum-Cost Reachability for Priced Timed Automata. Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.). 2034. udg. IEEE Computer Society Press, 2001. s. 147-161
@inproceedings{00eb98108ac211dbbb3d000ea68e967b,
title = "Minimum-Cost Reachability for Priced Timed Automata",
author = "Gerd Behrmann and A. Fehnker and T. Hune and Larsen, {Kim Guldstrand} and P. Pettersson and J. Romijn and F. Vaandrager",
note = "ISSN ; 0302-9743",
year = "2001",
language = "English",
isbn = "3540418660",
pages = "147--161",
editor = "{Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.)}",
booktitle = "Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "2034",

}

Behrmann, G, Fehnker, A, Hune, T, Larsen, KG, Pettersson, P, Romijn, J & Vaandrager, F 2001, Minimum-Cost Reachability for Priced Timed Automata. i Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.) (red.), Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. 2034 udg, IEEE Computer Society Press, s. 147-161, Minimum-Cost Reachability for Priced Timed Automata, 19/05/2010.

Minimum-Cost Reachability for Priced Timed Automata. / Behrmann, Gerd; Fehnker, A.; Hune, T.; Larsen, Kim Guldstrand; Pettersson, P.; Romijn, J.; Vaandrager, F.

Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.). 2034. udg. IEEE Computer Society Press, 2001. s. 147-161.

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

TY - GEN

T1 - Minimum-Cost Reachability for Priced Timed Automata

AU - Behrmann, Gerd

AU - Fehnker, A.

AU - Hune, T.

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

AU - Romijn, J.

AU - Vaandrager, F.

N1 - ISSN ; 0302-9743

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 3540418660

SP - 147

EP - 161

BT - Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings

A2 - Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.), null

PB - IEEE Computer Society Press

ER -

Behrmann G, Fehnker A, Hune T, Larsen KG, Pettersson P, Romijn J et al. Minimum-Cost Reachability for Priced Timed Automata. I Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.), red., Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. 2034 udg. IEEE Computer Society Press. 2001. s. 147-161