An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems.

Published in: Int. J. Found. Comput. Sci. (2008)

Keyphrases

reachability analysis
distributed systems
computer systems
model checking
high level
retrieval systems
artificial intelligence
expert systems
management system
higher order
intelligent systems
np complete
connectionist systems