UPPAAL Implementation Secrets

Gerd Behrmann; J. Bengtsson; A. David; K. G. Larsen; P. Pettersson; W Yi

UPPAAL Implementation Secrets

Gerd Behrmann, J. Bengtsson, A. David, K. G. Larsen, P. Pettersson, W Yi

Institut for Datalogi

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

Originalsprog	Engelsk
Titel	Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany
Publikationsdato	2002
Status	Udgivet - 2002
Begivenhed	UPPAAL - Varighed: 19 maj 2010 → …

Konference

Konference	UPPAAL
Periode	19/05/2010 → …

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{17e73a609c2e11db8ed6000ea68e967b,

title = "UPPAAL Implementation Secrets",

author = "Gerd Behrmann and J. Bengtsson and A. David and Larsen, {K. G.} and P. Pettersson and W Yi",

year = "2002",

language = "English",

booktitle = "Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany",

note = "UPPAAL ; Conference date: 19-05-2010",

}

TY - GEN

T1 - UPPAAL Implementation Secrets

AU - Behrmann, Gerd

AU - Bengtsson, J.

AU - David, A.

AU - Larsen, K. G.

AU - Pettersson, P.

AU - Yi, W

PY - 2002

Y1 - 2002

M3 - Article in proceeding

BT - Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany

T2 - UPPAAL

Y2 - 19 May 2010

ER -