@Book{321063120,
editor="Schnieder, Eckehard",
title="Forms '99 - formale Techniken f{\"u}r die Eisenbahnsicherung",
series="Berichte der Institute f{\"u}r Automatisierungstechnik, Technische Universit{\"a}t Braunschweig",
year="2000",
edition="Als Ms. gedr.",
publisher="VDI-Verl.",
address="D{\"u}sseldorf",
note="[Workshop Forms '99, Braunschweig, Dezember 1999]. Eckehard Schnieder (Hrsg.)",
note="Beitr. teilw. engl., teilw. dt",
note="Literaturangaben",
note="Archivierung pr{\"u}fen 20220325 DE-640 1 pdager",
isbn="3183436124",
language="German"
}