Adding symmetry reduction to UPPAAL

Hendriks Martijn, Gerd Behrmann, Kim Guldstrand Larsen, Vaandrager Frits

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

Originalsprog	Engelsk
Titel	Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)
Publikationsdato	2003
Status	Udgivet - 2003
Begivenhed	Adding symmetry reduction to UPPAAL - Varighed: 19 maj 2010 → …

Konference	Adding symmetry reduction to UPPAAL
Periode	19/05/2010 → …

ISSN ; -

AUB Link

@inproceedings{2356a0709c2e11db8ed6000ea68e967b,

title = "Adding symmetry reduction to UPPAAL",

author = "Hendriks Martijn and Gerd Behrmann and Larsen, {Kim Guldstrand} and Vaandrager Frits",

note = "ISSN ; - ; Adding symmetry reduction to UPPAAL ; Conference date: 19-05-2010",

year = "2003",

language = "English",

booktitle = "Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)",

}

TY - GEN

T1 - Adding symmetry reduction to UPPAAL

AU - Martijn, Hendriks

AU - Behrmann, Gerd

AU - Larsen, Kim Guldstrand

AU - Frits, Vaandrager

N1 - ISSN ; -

PY - 2003

Y1 - 2003

M3 - Article in proceeding

BT - Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)

T2 - Adding symmetry reduction to UPPAAL

Y2 - 19 May 2010

ER -