Add state explosion example that enforces local language preservation and fix bug in size computation (!2) · Merge requests · Felix Stutz / async-mpst-gen-choice

You need to sign in or sign up before continuing.

change state explosion example to the one that enforces local language preservation; fix bug in size computation

Add state explosion example that enforces local language preservation and fix bug in size computation