Crocodile

swMATH9769MaRDI QIDQ21748FDOQ21748

Author name not available (Why is that?)

Cited In (2)

• Investigating Reversibility of Steps in Petri Nets
• Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag

This page was built for software: Crocodile