TY - ECHAP
AU - Rance Cleaveland
AU - A. Roscoe
AU - Scott Smolka
BT - Handbook of Model Checking.
DO - 10.1007/978-3-319-10575-8\_32
LA - eng
PY - 2018
EP - 1149–1195
T2 - Handbook of Model Checking.
TI - Process Algebra and Model Checking
UR - https://doi.org/10.1007/978-3-319-10575-8\_32
ER -