Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.

Mauro Pezz, Michal Young

Browse the full ICSE paper archive.