Davide D Aprile, Susanna Donatelli, Jeremy Sproston. CSL Model Checking for the GreatSPN Tool. In Cevdet Aykanat, Tugrul Dayar, Ibrahim Korpeoglu, editors, Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings. Volume 3280 of Lecture Notes in Computer Science, pages 543-552, Springer, 2004. [doi]
Abstract is missing.