Ferrarotti, F., Schewe, K., Tec, L., & Wang, Q. (2018). A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Annals of mathematics and artificial intelligence, 83(3-4), 321-349. https://doi.org/10.1007/s10472-017-9569-3
Citace podle Chicago (17th ed.)Ferrarotti, Flavio, Klaus-Dieter Schewe, Loredana Tec, a Qing Wang. "A Unifying Logic for Non-deterministic, Parallel and Concurrent Abstract State Machines." Annals of Mathematics and Artificial Intelligence 83, no. 3-4 (2018): 321-349. https://doi.org/10.1007/s10472-017-9569-3.
Citace podle MLA (9th ed.)Ferrarotti, Flavio, et al. "A Unifying Logic for Non-deterministic, Parallel and Concurrent Abstract State Machines." Annals of Mathematics and Artificial Intelligence, vol. 83, no. 3-4, 2018, pp. 321-349, https://doi.org/10.1007/s10472-017-9569-3.