APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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.

MLA (9th ed.) Citation

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.