Vertaf
From MaRDI portal
Software:20210
No author found.
Related Items (2)
MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ An interleaving semantics for UML 2 interactions using Petri nets
This page was built for software: Vertaf
