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
Citácia podle Chicago (17th ed.)Kang, Byeongjee, a 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.
Citácia podľa MLA (8th ed.)Kang, Byeongjee, a 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.