Skip to content

Integral Implementation of Higher-Order Algebraic Petri Nets in Maude.

Lorenzo Capra, Michael Khler-Bumeier

Year2026
ProceedingsICDCIT

Browse the full ICDCIT paper archive.