English
Beginner
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif,Jan Friso Groote
2023
مشاهدهٔ کتاب
کشف منابع
formal methods
کتابها
3 نتیجه
English
Unordered
ACM Transactions on Computational Logic
Japaridze, Giorgi
2006 April 01
مشاهدهٔ کتاب