Title | Process Algebra and Model Checking |
Publication Type | Book Chapter |
Year of Publication | 2018 |
Authors | Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. |
Book Title | Handbook of Model Checking. |
Pagination | 1149–1195 |
URL | https://doi.org/10.1007/978-3-319-10575-8\_32 |
DOI | 10.1007/978-3-319-10575-8\_32 |