(1997). Modal and temporal operators on partial orders. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Modal and Temporal Operators on Partial Orders. Augsburg: Inst. für Informatik, 1997.
MLA-Zitierstil (9. Ausg.)Modal and Temporal Operators on Partial Orders. Inst. für Informatik, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.