Mendeley users who have this article in their library.
This article is free to access.
Cite
CITATION STYLE
APA
Dong, Y., & Ramakrishnan, C. R. (1999). An Optimizing Compiler for Efficient Model Checking (pp. 241–256). https://doi.org/10.1007/978-0-387-35578-8_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.