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

Aalborg University
Uppsala University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

47 引用（Scopus）

源语言	英语
主期刊名	Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings
编辑	Orna Grumberg
出版商	Springer Verlag
页	456-459
页数	4
ISBN（印刷版）	3540631666, 9783540631668
DOI	https://doi.org/10.1007/3-540-63166-6_47
出版状态	已出版 - 1997
已对外发布	是
活动	9th International Conference on Computer-Aided Verification, CAV 1997 - Haifa, 以色列期限: 22 6月 1997 → 25 6月 1997

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	1254
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	9th International Conference on Computer-Aided Verification, CAV 1997
国家/地区	以色列
市	Haifa
时期	22/06/97 → 25/06/97

访问文件

10.1007/3-540-63166-6_47

其它文件与链接

链接到 Scopus 的出版物

引用此

Larsen, K. G., Pettersson, P., & Yi, W. (1997). UPPAAL*: Status & developments. 在 O. Grumberg (编辑), Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings (页码 456-459). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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. 在 O Grumberg (编辑), 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), 卷 1254, Springer Verlag, 页码 456-459, 9th International Conference on Computer-Aided Verification, CAV 1997, Haifa, 以色列, 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. 编辑 / Orna Grumberg. Springer Verlag, 1997. 页码 456-459 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 1254).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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 -

Larsen KG, Pettersson P, Yi W. UPPAAL*: Status & developments. 在 Grumberg O, 编辑, Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. Springer Verlag. 1997. 页码 456-459. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-63166-6_47