Understanding Behaviour of Distributed Systems Using mCRL2

Saved in:
Bibliografiske detaljer
Hovedforfatter: Atif, Muhammad
Andre forfattere: Groote, Jan Friso
Format: eBog
Sprog:engelsk
Udgivet: Springer Nature, 2023.
Fag:
Online adgang:Access eBook
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Understanding Behaviour of Distributed Systems Using mCRL2