"The GROOVE Simulator: A Tool for State Space Generation."

Arend Rensink (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics