Efficient Guiding Towards Cost-Optimality in UPPAAL

Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Tools and Algorithms for the Construction and Analysis of Systems
Antal sider	15
Forlag	Springer
Publikationsdato	2001
Sider	174-188
ISBN (Trykt)	9783540418658
Status	Udgivet - 2001
Begivenhed	Tools and Algorithms for the Construction and Analysis of Systems - Genova, Italien Varighed: 19 maj 2010 → … Konferencens nummer: 7

Konference	Tools and Algorithms for the Construction and Analysis of Systems
Nummer	7
Land/Område	Italien
By	Genova
Periode	19/05/2010 → …

AUB Link

@inproceedings{76a60dd0497b11da856d000ea68e967b,

title = "Efficient Guiding Towards Cost-Optimality in UPPAAL",

author = "Gerd Behrmann and Ansgar Fehnker and Hune, {Thomas S.} and Larsen, {Kim Guldstrand} and Paul Pettersson and Judi Romijn",

year = "2001",

language = "English",

isbn = "9783540418658",

pages = "174--188",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

publisher = "Springer",

address = "Germany",

note = "Tools and Algorithms for the Construction and Analysis of Systems ; Conference date: 19-05-2010",

}

TY - GEN

T1 - Efficient Guiding Towards Cost-Optimality in UPPAAL

AU - Behrmann, Gerd

AU - Fehnker, Ansgar

AU - Hune, Thomas S.

AU - Larsen, Kim Guldstrand

AU - Pettersson, Paul

AU - Romijn, Judi

N1 - Conference code: 7

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 9783540418658

SP - 174

EP - 188

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

T2 - Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 19 May 2010

ER -