Dirk Beyer, Heinrich Rust. Concepts of Cottbus Timed Automata. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 27-34, Herbert Utz Verlag, 1999.
@inproceedings{BeyerR99:0,
title = {Concepts of Cottbus Timed Automata},
author = {Dirk Beyer and Heinrich Rust},
year = {1999},
researchr = {https://researchr.org/publication/BeyerR99%3A0},
cites = {0},
citedby = {0},
pages = {27-34},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999},
editor = {Katharina Spies and Bernhard Schätz},
publisher = {Herbert Utz Verlag},
isbn = {3-89675-918-3},
}