Transition Systems

From Termination-Portal.org
Jump to: navigation, search


Syntax and semantics of the format are presented in [1].

Personal tools