Transition Systems

From Termination-Portal.org

Revision as of 09:10, 16 June 2014 by Mmjb (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Transition_Systems&oldid=1483"

Categories

Navigation menu