Transition Systems

From Termination-Portal.org
Jump to navigationJump to search


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