FSMC+

MaRDI QIDQ41959swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=1294325.1294338

Cited in

(1)

• Synthesizing distributed protocol specifications from a UML state machine modeled service specification

This page was built for software: FSMC+