APA (7th ed.) Citation

Kang, B., & Bae, K. (2024). Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Science of computer programming, 235, 103097. https://doi.org/10.1016/j.scico.2024.103097

Chicago Style (17th ed.) Citation

Kang, Byeongjee, and Kyungmin Bae. "Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-oriented Systems." Science of Computer Programming 235 (2024): 103097. https://doi.org/10.1016/j.scico.2024.103097.

MLA (9th ed.) Citation

Kang, Byeongjee, and Kyungmin Bae. "Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-oriented Systems." Science of Computer Programming, vol. 235, 2024, p. 103097, https://doi.org/10.1016/j.scico.2024.103097.