CITATION STYLE
Kupferman, O., & Vardi, M. Y. (1998). Relating Linear and Branching Model Checking. In Programming Concepts and Methods PROCOMET ’98 (pp. 304–326). Springer US. https://doi.org/10.1007/978-0-387-35358-6_21
Mendeley helps you to discover research relevant for your work.