Report copyright - pa book mcrl2 - Eindhoven University of Technologyjfg/articles/pa_book_mcrl2.pdf · 2010-07-19 · 4 Analysis of Distributed Systems with mCRL2 Processes and actions can be parameterised
Please pass captcha verification before submit form