UPPAAL in 1995

J. Bengtsson, Kim Guldstrand Larsen, F. Larsson, P. Pettersson, Wang Yi

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

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	No. 1055
ISSN	0302-9743
Status	Udgivet - 1996

In Proceedings of TACAS96
In Proceedings of TACAS96

AUB Link

@article{105eb6009c2f11db8ed6000ea68e967b,

title = "UPPAAL in 1995",

author = "J. Bengtsson and Larsen, {Kim Guldstrand} and F. Larsson and P. Pettersson and Wang Yi",

note = "In Proceedings of TACAS96 In Proceedings of TACAS96",

year = "1996",

language = "English",

volume = "No. 1055",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}