The Reachability Problem for Vector Addition System with One Zero-Test.

Published in: MFCS (2011)

Keyphrases

feature vectors
databases
test cases
test data
real world
artificial intelligence
e learning
website
multi agent
special case