Process Algebra and Model Checking
| Author | |
| Year of Publication | 2018 |
| Book Title | Handbook of Model Checking. |
| Number of Pages | 1149–1195 |
| URL | https://doi.org/10.1007/978-3-319-10575-8\_32 |
| DOI | 10.1007/978-3-319-10575-8\_32 |
| Download citation |