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
Citácia 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.
Citácia podľa MLA (8th 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..