Margaria, T. (1991). First-order theories for the verification of complex FSMs. RWTH Aachen, Fachgruppe Informatik.
Chicago-Zitierstil (17. Ausg.)Margaria, Tiziana. First-order Theories for the Verification of Complex FSMs. Aachen: RWTH Aachen, Fachgruppe Informatik, 1991.
MLA-Zitierstil (9. Ausg.)Margaria, Tiziana. First-order Theories for the Verification of Complex FSMs. RWTH Aachen, Fachgruppe Informatik, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.