| 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 |
