Mendeley users who have this article in their library.
This article is free to access.
Cite
CITATION STYLE
APA
Paterno, F., & Mezzanotte, M. (1996). Formal verification of undesired behaviours in the CERD case study (pp. 213–226). https://doi.org/10.1007/978-0-387-34907-7_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.