APA (7th ed.) Citation

Parízek, P., & Lhoták, O. (2015). Model checking of concurrent programs with static analysis of field accesses. Science of Computer Programming, 98, 735. https://doi.org/10.1016/j.scico.2014.10.008

Chicago Style (17th ed.) Citation

Parízek, Pavel, and Ondřej Lhoták. "Model Checking of Concurrent Programs with Static Analysis of Field Accesses." Science of Computer Programming 98 (2015): 735. https://doi.org/10.1016/j.scico.2014.10.008.

MLA (9th ed.) Citation

Parízek, Pavel, and Ondřej Lhoták. "Model Checking of Concurrent Programs with Static Analysis of Field Accesses." Science of Computer Programming, vol. 98, 2015, p. 735, https://doi.org/10.1016/j.scico.2014.10.008.