CITATION STYLE
Dong, Y., Ramakrishnan, C. R., & Smolka, S. A. (2003). Evidence explorer: A tool for exploring model-checking proofs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2725, 215–218. https://doi.org/10.1007/978-3-540-45069-6_22
Mendeley helps you to discover research relevant for your work.