UPPAAL2k

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Bulletin of the European Association for Theoretical Computer Science
Vol/bind	No. 70
ISSN	0252-9742
Status	Udgivet - 1999

Also available in BRICS Newsletter ; No. 10
Also available in BRICS Newsletter ; No. 10

AUB Link

@article{1e70da709c2f11db8ed6000ea68e967b,

title = "UPPAAL2k",

author = "Larsen, {Kim Guldstrand} and P. Pettersson",

note = "Also available in BRICS Newsletter ; No. 10 Also available in BRICS Newsletter ; No. 10",

year = "1999",

language = "English",

volume = "No. 70",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}

TY - JOUR

T1 - UPPAAL2k

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

N1 - Also available in BRICS Newsletter ; No. 10 Also available in BRICS Newsletter ; No. 10

PY - 1999

Y1 - 1999

M3 - Journal article

SN - 0252-9742

VL - No. 70

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

ER -