Applying Rewriting Techniques to the Verification of Erlang Processes.

Thomas Arts Jürgen Giesl

Published in: CSL (1999)

Keyphrases

model checking
database
relational databases
conjunctive queries
measurement data
real time
e learning
software engineering
petri net