Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE.

M. Praveen Kamal Lodaya

Published in: FSTTCS (2009)

Keyphrases

structural properties
desirable properties
real world
artificial intelligence
website
optimal solution
wide range
computational complexity
digital libraries
rough sets
production system