KURE
From MaRDI portal
Software:27339
No author found.
Related Items (2)
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ State space analysis of Petri nets with relation-algebraic methods
This page was built for software: KURE
