Understanding Behaviour of Distributed Systems Using mCRL2 Book Discussion
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
by
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)