Model Checking via Reachability Testing for Timed Automata

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
UdgivelsesstedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
StatusUdgivet - 1997
NavnBRICS Report Series
NummerRS-97-29
ISSN0909-0878

Citationsformater