Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata

Dirk Beyer, Heinrich Rust. Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 148-159, Verlag Shaker, 1998.

@inproceedings{BeyerR98,
  title = {Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata},
  author = {Dirk Beyer and Heinrich Rust},
  year = {1998},
  tags = {modeling},
  researchr = {https://researchr.org/publication/BeyerR98},
  cites = {0},
  citedby = {0},
  pages = {148-159},
  booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998},
  editor = {Hartmut König and Peter Langendörfer},
  publisher = {Verlag Shaker},
  isbn = {3-8265-3807-2},
}