Sufficient conditions for reachability in automata networks with priorities

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux. Sufficient conditions for reachability in automata networks with priorities. Theoretical Computer Science, 608:66-83, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.