CITATION STYLE
Esparza, J. (2001). Verification of Systems with an Infinite State Space (pp. 183–186). https://doi.org/10.1007/3-540-45510-8_8
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley