Understanding Behaviour of Distributed Systems Using MCRL2

שנה

2023

שפה

English

הוצאה

Springer International Publishing AG

מהדורות

2

ISBN

9783031230073

מקור הנתונים: Wikidata