Tool Supported Validation of Timed and Hybrid Systems

Kim Guldstrand Larsen

Tool Supported Validation of Timed and Hybrid Systems

Department of Computer Science

Research output: Book/Report › Book › Communication

Original language	English

Publication status	Published - 2000

AUB Link

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

Cite this

@book{d59fb7b0003211dab4d5000ea68e967b,

title = "Tool Supported Validation of Timed and Hybrid Systems",

author = "Larsen, {Kim Guldstrand}",

note = "Invited paper for ADPM2000, The 4th International Conference of Automation of Mixed Processes, Dortmund, September, 2000 Invited paper for ADPM2000, The 4th International Conference of Automation of Mixed Processes, Dortmund, September, 2000",

year = "2000",

language = "English",

}

TY - BOOK

T1 - Tool Supported Validation of Timed and Hybrid Systems

AU - Larsen, Kim Guldstrand

N1 - Invited paper for ADPM2000, The 4th International Conference of Automation of Mixed Processes, Dortmund, September, 2000 Invited paper for ADPM2000, The 4th International Conference of Automation of Mixed Processes, Dortmund, September, 2000

PY - 2000

Y1 - 2000

M3 - Book

BT - Tool Supported Validation of Timed and Hybrid Systems

ER -