Statebox

swMATH40899MaRDI QIDQ1354422FDOQ1354422

Author name not available (Why is that?)

Source code repository: https://github.com/statebox

Cited In (2)

• Title not available (Why is that?)
• A Categorical Semantics for Guarded Petri Nets

This page was built for software: Statebox