Symbolic Reachability for Process Algebras with Recursive Data Types.

Stefan Blom Jaco van de Pol

Published in: ICTAC (2008)

Keyphrases

data types
back end
database systems
data structure
database management systems
data model
high level
feature selection
software engineering
user defined