"Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to ..."

Mauro Pezzè, Michal Young (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics