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]
@inproceedings{DembinskiPP01,
title = {Automated Verification of Infinite State Concurrent Systems},
author = {Piotr Dembinski and Wojciech Penczek and Agata Pólrola},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2328/23280247.htm},
researchr = {https://researchr.org/publication/DembinskiPP01},
cites = {0},
citedby = {0},
pages = {247-255},
booktitle = {Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers},
editor = {Roman Wyrzykowski and Jack Dongarra and Marcin Paprzycki and Jerzy Wasniewski},
volume = {2328},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43792-4},
}