A Tool Architecture for the Next Generation of Uppaal

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Yi Wang

Publikation: Bog/antologi/afhandling/rapportBogForskning

9 Citationer (Scopus)
OriginalsprogEngelsk
ForlagUppsala University
StatusUdgivet - 2003
NavnReports
Nummer2003-011

Citer dette

Behrmann, G., David, A., Larsen, K. G., & Wang, Y. (2003). A Tool Architecture for the Next Generation of Uppaal. Uppsala University. Reports, Nr. 2003-011
Behrmann, Gerd ; David, Alexandre ; Larsen, Kim Guldstrand ; Wang, Yi. / A Tool Architecture for the Next Generation of Uppaal. Uppsala University, 2003. (Reports; Nr. 2003-011).
@book{dd812dd0372111da8f0e000ea68e967b,
title = "A Tool Architecture for the Next Generation of Uppaal",
author = "Gerd Behrmann and Alexandre David and Larsen, {Kim Guldstrand} and Yi Wang",
year = "2003",
language = "English",
series = "Reports",
publisher = "Uppsala University",
number = "2003-011",

}

Behrmann, G, David, A, Larsen, KG & Wang, Y 2003, A Tool Architecture for the Next Generation of Uppaal. Reports, nr. 2003-011, Uppsala University.

A Tool Architecture for the Next Generation of Uppaal. / Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand; Wang, Yi.

Uppsala University, 2003. (Reports; Nr. 2003-011).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - A Tool Architecture for the Next Generation of Uppaal

AU - Behrmann, Gerd

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Wang, Yi

PY - 2003

Y1 - 2003

M3 - Book

T3 - Reports

BT - A Tool Architecture for the Next Generation of Uppaal

PB - Uppsala University

ER -

Behrmann G, David A, Larsen KG, Wang Y. A Tool Architecture for the Next Generation of Uppaal. Uppsala University, 2003. (Reports; Nr. 2003-011).