APA (7th ed.) Citation

Margaria, T. (1991). First-order theories for the verification of complex FSMs. RWTH Aachen, Fachgruppe Informatik.

Chicago Style (17th ed.) Citation

Margaria, Tiziana. First-order Theories for the Verification of Complex FSMs. Aachen: RWTH Aachen, Fachgruppe Informatik, 1991.

MLA (9th ed.) Citation

Margaria, Tiziana. First-order Theories for the Verification of Complex FSMs. RWTH Aachen, Fachgruppe Informatik, 1991.

Warning: These citations may not always be 100% accurate.