Krčál, P. (2003). Distributed Explicit Bounded LTL Model Checking. Electronic notes in theoretical computer science, 89(1), 33-50. https://doi.org/10.1016/S1571-0661(05)80095-7
Citace podle Chicago (17th ed.)Krčál, Pavel. "Distributed Explicit Bounded LTL Model Checking." Electronic Notes in Theoretical Computer Science 89, no. 1 (2003): 33-50. https://doi.org/10.1016/S1571-0661(05)80095-7.
Citace podle MLA (9th ed.)Krčál, Pavel. "Distributed Explicit Bounded LTL Model Checking." Electronic Notes in Theoretical Computer Science, vol. 89, no. 1, 2003, pp. 33-50, https://doi.org/10.1016/S1571-0661(05)80095-7.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..