M. Praveen, Kamal Lodaya. Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. In Ravi Kannan, K. Narayan Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India. Volume 4 of LIPIcs, pages 347-358, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2009. [doi]
Abstract is missing.