mist

swMATH33293MaRDI QIDQ45002FDOQ45002

Author name not available (Why is that?)

Source code repository: https://github.com/pierreganty/mist

Cited In (1)

• Occam's razor applied to the Petri net coverability problem

This page was built for software: mist