SOCLE

swMATH9477MaRDI QIDQ21460FDOQ21460

Author name not available (Why is that?)

Cited In (2)

• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• Model Checking of Extended OCL Constraints on UML Models in SOCLe

This page was built for software: SOCLE