HiVy

swMATH1933MaRDI QIDQ14482FDOQ14482

Author name not available (Why is that?)

Cited In (2)

• Modelling and model checking suspendible business processes via statechart diagrams and CSP
• Computer Aided Verification

This page was built for software: HiVy