Understanding Behaviour of Distributed Systems Using mCRL2 Dublin Core Títol Understanding Behaviour of Distributed Systems Using mCRL2 Autor Muhammad Atif, Jan Friso Groote Matèria Engineering Physical Sciences and Engineering Editor Springer Nature Data de publicació 2023 Identificador 9783031230080 Font https://doi.org/10.1007/978-3-031-23008-0 Etiquetes Engineering, Physical Sciences and Engineering Col·lecció Physical Sciences and Engineering ← ítem anterior Ítem següent →
