Model Checking via Reachability Testing for Timed Automata

Luca Aceto, A. Burgueño, Kim Guldstrand Larsen

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Århus : Daimi
Publisher	Department of Computer Science, Aarhus University
Publication status	Published - 1997

AUB Link

@book{1f57ad30003411dab4d5000ea68e967b,

title = "Model Checking via Reachability Testing for Timed Automata",

author = "Luca Aceto and A. Burgue{\~n}o and Larsen, {Kim Guldstrand}",

year = "1997",

language = "English",

series = "BRICS Report Series",

number = "RS-97-29",

publisher = "Department of Computer Science, Aarhus University",

address = "Denmark",

}