Alagic, S., & Alagic, M. (1997). Order-sorted model theory for temporal executable specifications. Theoretical computer science, 179(1), 273-299. https://doi.org/10.1016/S0304-3975(96)00134-X
Citace podle Chicago (17th ed.)Alagic, Suad, a Mara Alagic. "Order-sorted Model Theory for Temporal Executable Specifications." Theoretical Computer Science 179, no. 1 (1997): 273-299. https://doi.org/10.1016/S0304-3975(96)00134-X.
Citace podle MLA (9th ed.)Alagic, Suad, a Mara Alagic. "Order-sorted Model Theory for Temporal Executable Specifications." Theoretical Computer Science, vol. 179, no. 1, 1997, pp. 273-299, https://doi.org/10.1016/S0304-3975(96)00134-X.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..