References
Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge
Clarke EM, Henzinger TA, Veith H, Bloem R (eds) (2018) Handbook of model checking. Springer, Berlin
Kroening, Strichman O (2016) Decision procedures. Texts in theoretical computer science. An EATCS series. Springer, Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rossi, M. Modeling and analysis of communicating systems. Form Asp Comp 33, 297–298 (2021). https://doi.org/10.1007/s00165-021-00533-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-021-00533-8