Verification of Timed and Hybrid Systems

Kim Guldstrand Larsen

Verification of Timed and Hybrid Systems

Department of Computer Science

Research output: Book/Report › Book › Research

Original language	English

Publisher	Springer
Volume	1825
Number of pages	3
ISBN (Print)	3-540-67693-7
Publication status	Published - 2000

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@book{da26c670003211dab4d5000ea68e967b,

title = "Verification of Timed and Hybrid Systems",

author = "Larsen, {Kim Guldstrand}",

note = "Invited paper for 21th International Conference on Application and Theory of Petri Nets, June 2000 Invited paper for 21th International Conference on Application and Theory of Petri Nets, June 2000",

year = "2000",

language = "English",

isbn = "3-540-67693-7",

volume = "1825",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Verification of Timed and Hybrid Systems

AU - Larsen, Kim Guldstrand

N1 - Invited paper for 21th International Conference on Application and Theory of Petri Nets, June 2000 Invited paper for 21th International Conference on Application and Theory of Petri Nets, June 2000

PY - 2000

Y1 - 2000

M3 - Book

SN - 3-540-67693-7

VL - 1825

BT - Verification of Timed and Hybrid Systems

PB - Springer

ER -