@inbook{37,
  author = {Rance Cleaveland and A. Roscoe and Scott Smolka},
  title = {Process Algebra and Model Checking},
  year = {2018},
  journal = {Handbook of Model Checking.},
  pages = {1149–1195},
  url = {https://doi.org/10.1007/978-3-319-10575-8\_32},
  doi = {10.1007/978-3-319-10575-8\_32},
  language = {eng},
}