Vogt, F. H. (1982). An event-based temporal logic specification of distributed systems.
Chicago-Zitierstil (17. Ausg.)Vogt, Friedrich H. An Event-based Temporal Logic Specification of Distributed Systems. Berlin, 1982.
MLA-Zitierstil (9. Ausg.)Vogt, Friedrich H. An Event-based Temporal Logic Specification of Distributed Systems. 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.