WiCcA

MaRDI QIDQ21742swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-22944-2_31

Cited in

(2)

• \textsc{WiCcA}: LTS generation tool for wire calculus
• On the geometry and algebra of networks with state

This page was built for software: WiCcA