APA (7th ed.) Citation

Barnat, J., Brim, L., & Chaloupka, J. (2003). Parallel breadth-first search LTL model-checking. 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 106-115. https://doi.org/10.1109/ASE.2003.1240299

Chicago Style (17th ed.) Citation

Barnat, J., L. Brim, and J. Chaloupka. "Parallel Breadth-first Search LTL Model-checking." 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings 2003: 106-115. https://doi.org/10.1109/ASE.2003.1240299.

MLA (9th ed.) Citation

Barnat, J., et al. "Parallel Breadth-first Search LTL Model-checking." 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 2003, pp. 106-115, https://doi.org/10.1109/ASE.2003.1240299.