SODALITE-EU/verification: M24Release of IaC Verification
, Giovanni Quattrocchi & Elisabetta Di Nitto
In this release, several bugs were fixed, and PetriNet library was changed
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see
our documentation.