APA (7th ed.) Citation

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 Style (17th ed.) Citation

SNYERS, D., and 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 (9th ed.) Citation

SNYERS, D., and 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.