%0 Book Section
%B Handbook of Model Checking.
%D 2018
%G eng
%P 1149–1195
%R 10.1007/978-3-319-10575-8\_32
%T Process Algebra and Model Checking
%U https://doi.org/10.1007/978-3-319-10575-8\_32