Schübel, T. (1988). Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Schübel, Thomas. Eine Methode Zur Verifikation Von Prädikat/Transitions-Netzen Und Ihr Vergleich Mit Dem Hoare-Kalkül Zur Programmverifikation. Bonn: Inst. für Informatik, 1988.
MLA-Zitierstil (9. Ausg.)Schübel, Thomas. Eine Methode Zur Verifikation Von Prädikat/Transitions-Netzen Und Ihr Vergleich Mit Dem Hoare-Kalkül Zur Programmverifikation. Inst. für Informatik, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.