Understanding Behaviour of Distributed Systems Using mCRL2 / by Muhammad Atif, Jan Friso Groote
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in Systems, Decision and Control ; 458Publisher: Cham : Springer International Publishing, 2023Publisher: Cham : Imprint: Springer, 2023Edition: 1st ed. 2023Description: 1 Online-Ressource(XV, 235 p. 103 illus., 15 illus. in color.)ISBN:- 9783031230080
- 003.3 23
No physical items for this record