Model Checking via Reachability Testing for Timed Automata

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Citer dette

Aceto, L., Burgueño, A., & Larsen, K. G. (1997). Model Checking via Reachability Testing for Timed Automata. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-97-29
Aceto, Luca ; Burgueño, A. ; Larsen, Kim Guldstrand. / Model Checking via Reachability Testing for Timed Automata. Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-29).
@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",

}

Aceto, L, Burgueño, A & Larsen, KG 1997, Model Checking via Reachability Testing for Timed Automata. BRICS Report Series, nr. RS-97-29, Department of Computer Science, Aarhus University, Århus : Daimi.

Model Checking via Reachability Testing for Timed Automata. / Aceto, Luca; Burgueño, A.; Larsen, Kim Guldstrand.

Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-29).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Model Checking via Reachability Testing for Timed Automata

AU - Aceto, Luca

AU - Burgueño, A.

AU - Larsen, Kim Guldstrand

PY - 1997

Y1 - 1997

M3 - Book

T3 - BRICS Report Series

BT - Model Checking via Reachability Testing for Timed Automata

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Burgueño A, Larsen KG. Model Checking via Reachability Testing for Timed Automata. Århus : Daimi: Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-29).