Verification of Timed and Hybrid Systems

Kim Guldstrand Larsen

Verification of Timed and Hybrid Systems

Institut for Datalogi

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Forlag	Springer
Vol/bind	1825
Antal sider	3
ISBN (Trykt)	3-540-67693-7
Status	Udgivet - 2000

Bibliografisk 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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -