CITATION STYLE
Andrews, T., Qadeer, S., Rajamani, S. K., Rehof, J., & Xie, Y. (2004). Zing: A model checker for concurrent software. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3114, 484–487. https://doi.org/10.1007/978-3-540-27813-9_42
Mendeley helps you to discover research relevant for your work.