CITATION STYLE
Queille, J. P., & Sifakis, J. (2008). SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. In 25 Years of Model Checking (pp. 216–230). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69850-0_13
Mendeley helps you to discover research relevant for your work.