Skip to content
cs-conference-ranking.org

Formalising the Industrial Language SMMT in mCRL2.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

VenueCFMICS
Year2024
ProceedingsFMICS
DBLP recordconf/fmics/LaarhovenBGW24 ↗

Browse the full FMICS paper archive.