Orna Grumberg, Tamir Heyman, Assaf Schuster. Distributed Symbolic Model Checking for µ-Calculus. Formal Methods in System Design, 26(2):197-219, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.