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
Citace podle Chicago (17th ed.)SNYERS, D., a 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.
Citace podle MLA (9th ed.)SNYERS, D., a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..