Trace inclusion for one-counter nets revisited.

Piotr Hofman Patrick Totzke

Published in: Theor. Comput. Sci. (2018)

Keyphrases

data sets
data mining
learning algorithm
high level
multi agent systems
expert systems
support vector machine
rough sets