Understanding Behaviour of Distributed Systems Using MCRL2
by Muhammad Atif, Jan Friso Groote Hardcover 2023
- Author: Muhammad Atif, Jan Friso Groote
- ISBN 13: 9783031230073
- ISBN 10: 3031230078
- Publication Year: 2023
- Language: English
Specifications
Index-103031230078
LanguageEnglish
Index-139783031230073
Period-
Class Track-
Publisher- (2023)
Pages-