2007
Distributed Analysis with $\mu$CRL: A Compendium of Case Studies
Publication
Publication
Presented at the
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal
Additional Metadata | |
---|---|
, , | |
Springer | |
O. Grumberg , M. Huth | |
Lecture Notes in Computer Science | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Organisation | Specification and Analysis of Embedded Systems |
Blom, S.C.C, Calamé, J.R, Lisser, B, Orzan, S.-M, Pang, J, van de Pol, J.C, … Wijs, A.J. (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 |