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-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.