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