Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems für den öffenlichen Nahverkehr (BON)

Walter Sonnenberg. Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems für den öffenlichen Nahverkehr (BON). In Hans-Dieter Ehrich, editor, GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings. Volume 88 of Informatik-Fachberichte, pages 407-431, Springer, 1984.

@inproceedings{Sonnenberg84,
  title = {Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems für den öffenlichen Nahverkehr (BON)},
  author = {Walter Sonnenberg},
  year = {1984},
  researchr = {https://researchr.org/publication/Sonnenberg84},
  cites = {0},
  citedby = {0},
  pages = {407-431},
  booktitle = {GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings},
  editor = {Hans-Dieter Ehrich},
  volume = {88},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-13861-7},
}