CITATION STYLE
Cimatti, A. (2001). Industrial Applications of Model Checking (pp. 153–168). https://doi.org/10.1007/3-540-45510-8_6
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley