APA-Zitierstil (7. Ausg.)

SNYERS, D., & THAYSE, A. (1986). Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity. IEEE transactions on computers, C-35(10), 853-861. https://doi.org/10.1109/TC.1986.1676676

Chicago-Zitierstil (17. Ausg.)

SNYERS, D., und A. THAYSE. "Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity." IEEE Transactions on Computers C-35, no. 10 (1986): 853-861. https://doi.org/10.1109/TC.1986.1676676.

MLA-Zitierstil (9. Ausg.)

SNYERS, D., und A. THAYSE. "Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity." IEEE Transactions on Computers, vol. C-35, no. 10, 1986, pp. 853-861, https://doi.org/10.1109/TC.1986.1676676.