Tool Supported Validation of Timed and Hybrid Systems

K.G. Larsen

Tool Supported Validation of Timed and Hybrid Systems

K.G. Larsen

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 22 Mar 2000
Event	4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM 2000 - Dortmund, Germany Duration: 18 Sept 2000 → 19 Sept 2000 Conference number: 4

Conference

Conference	4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM 2000
Abbreviated title	ADPM
Country/Territory	Germany
City	Dortmund
Period	18/09/00 → 19/09/00

Cite this

@conference{fb9e0bd3395b4523baa59627c9897c0a,

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

author = "K.G. Larsen",

year = "2000",

month = mar,

day = "22",

language = "English",

note = "4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM 2000, ADPM ; Conference date: 18-09-2000 Through 19-09-2000",

}