Verification of Timed Automata Using Rewrite Rules and Strategies

What this record says

ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules

CATALOG · The abstract is indexed.