FA Sign in

Discover references

formal methods

Books

3 results

Cover of Understanding Behaviour of Distributed Systems Using mCRL2

English Beginner

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif,Jan Friso Groote

2023 View book

English Unordered

Formal Aspects of Computing

Wu, Nicolas; Simpson, Andrew

2014 May 27 View book

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 View book