Piotr Dembinski, Wojciech Penczek, Agata Pólrola. Automated Verification of Infinite State Concurrent Systems. In Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers. Volume 2328 of Lecture Notes in Computer Science, pages 247-255, Springer, 2001. [doi]
Abstract is missing.