UPPAAL*: Status & developments

Kim G. Larsen; Paul Pettersson; Wang Yi

doi:10.1007/3-540-63166-6_47

UPPAAL*: Status & developments

Kim G. Larsen
, Paul Pettersson
, Wang Yi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings
Editors	Orna Grumberg
Publisher	Springer Verlag
Pages	456-459
Number of pages	4
ISBN (Print)	3540631666, 9783540631668
DOIs	https://doi.org/10.1007/3-540-63166-6_47
State	Published - 1997
Externally published	Yes
Event	9th International Conference on Computer-Aided Verification, CAV 1997 - Haifa, Israel Duration: 22 Jun 1997 → 25 Jun 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1254
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Computer-Aided Verification, CAV 1997
Country/Territory	Israel
City	Haifa
Period	22/06/97 → 25/06/97

Access to Document

10.1007/3-540-63166-6_47

Cite this

Larsen, K. G., Pettersson, P., & Yi, W. (1997). UPPAAL*: Status & developments. In O. Grumberg (Ed.), Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings (pp. 456-459). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1254). Springer Verlag. https://doi.org/10.1007/3-540-63166-6_47

@inproceedings{ecc3a4f5b41a4643a7d3a74f22213e17,

title = "UPPAAL*: Status \& developments",

author = "Larsen, \{Kim G.\} and Paul Pettersson and Wang Yi",

year = "1997",

doi = "10.1007/3-540-63166-6\_47",

language = "英语",

isbn = "3540631666",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "456--459",

editor = "Orna Grumberg",

booktitle = "Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings",

address = "德国",

note = "9th International Conference on Computer-Aided Verification, CAV 1997 ; Conference date: 22-06-1997 Through 25-06-1997",

}

Larsen, KG, Pettersson, P & Yi, W 1997, UPPAAL*: Status & developments. in O Grumberg (ed.), Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1254, Springer Verlag, pp. 456-459, 9th International Conference on Computer-Aided Verification, CAV 1997, Haifa, Israel, 22/06/97. https://doi.org/10.1007/3-540-63166-6_47

UPPAAL*: Status & developments. / Larsen, Kim G.; Pettersson, Paul; Yi, Wang.
Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. ed. / Orna Grumberg. Springer Verlag, 1997. p. 456-459 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1254).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - UPPAAL*

T2 - 9th International Conference on Computer-Aided Verification, CAV 1997

AU - Larsen, Kim G.

AU - Pettersson, Paul

AU - Yi, Wang

PY - 1997

Y1 - 1997

UR - https://www.scopus.com/pages/publications/84947433149

U2 - 10.1007/3-540-63166-6_47

DO - 10.1007/3-540-63166-6_47

M3 - 会议稿件

AN - SCOPUS:84947433149

SN - 3540631666

SN - 9783540631668

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 456

EP - 459

BT - Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings

A2 - Grumberg, Orna

PB - Springer Verlag

Y2 - 22 June 1997 through 25 June 1997

ER -

UPPAAL*: Status & developments

Publication series

Conference

Access to Document

Other files and links

Cite this