Converting Extended Finite-State Machines from Supremica to CIF

Martin Fabian, Michel A. Reniers. Converting Extended Finite-State Machines from Supremica to CIF. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 43-48, IEEE, 2026. [doi]

Abstract

Abstract is missing.