, ,
Springer
O. Grumberg , M. Huth
Lecture Notes in Computer Science
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Specification and Analysis of Embedded Systems

Blom, S., Calamé, J., Lisser, B., Orzan, S.-M., Pang, J., van de Pol, J., … Wijs, A. (2007). Distributed Analysis with $\mu$CRL: A Compendium of Case Studies. In O. Grumberg & M. Huth (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 683–689). Springer.

Additional Files
Publisher Version