jkeiren / muCRL

Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)

Geek Repo

Github PK Tool