M. Praveen
» Home
» Publications
» Manuscripts
» Talks
» Courses
» Links I found useful
» Tools I use
(With Kamal Lodaya)
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
.