HiVy
From MaRDI portal
Software:14482
Author name not available (Why is that?)
Related Items (2)
Modelling and model checking suspendible business processes via statechart diagrams and CSP ⋮ Computer Aided Verification
This page was built for software: HiVy
