A Performance Study of Distributed Timed Automata Reachability Analysis

Gerd Behrmann

Research output: Book/ReportBook

11 Citations (Scopus)
Original languageEnglish
PublisherPergamon Press
ISBN (Print)0444512918
Publication statusPublished - 2002
SeriesElectronical notes in theoretical computer science
Number68

Cite this

Behrmann, G. (2002). A Performance Study of Distributed Timed Automata Reachability Analysis. Pergamon Press. Electronical notes in theoretical computer science, No. 68
Behrmann, Gerd. / A Performance Study of Distributed Timed Automata Reachability Analysis. Pergamon Press, 2002. (Electronical notes in theoretical computer science; No. 68).
@book{94bc3ca0003211dab4d5000ea68e967b,
title = "A Performance Study of Distributed Timed Automata Reachability Analysis",
author = "Gerd Behrmann",
year = "2002",
language = "English",
isbn = "0444512918",
series = "Electronical notes in theoretical computer science",
publisher = "Pergamon Press",
number = "68",

}

Behrmann, G 2002, A Performance Study of Distributed Timed Automata Reachability Analysis. Electronical notes in theoretical computer science, no. 68, Pergamon Press.

A Performance Study of Distributed Timed Automata Reachability Analysis. / Behrmann, Gerd.

Pergamon Press, 2002. (Electronical notes in theoretical computer science; No. 68).

Research output: Book/ReportBook

TY - BOOK

T1 - A Performance Study of Distributed Timed Automata Reachability Analysis

AU - Behrmann, Gerd

PY - 2002

Y1 - 2002

M3 - Book

SN - 0444512918

T3 - Electronical notes in theoretical computer science

BT - A Performance Study of Distributed Timed Automata Reachability Analysis

PB - Pergamon Press

ER -

Behrmann G. A Performance Study of Distributed Timed Automata Reachability Analysis. Pergamon Press, 2002. (Electronical notes in theoretical computer science; No. 68).