PeCAn

swMATH30318MaRDI QIDQ42032FDOQ42032

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-11936-6_18

Described by source

• PeCAn: compositional verification of Petri nets made easy

This page was built for software: PeCAn