SMI++

MaRDI QIDQ22109swMATHFDO

Official website http://smi.web.cern.ch/smi/

Cited in

(3)

• JITty
• DIM, a portable, light weight package for information publishing, data transfer and inter-process communication
• An overview of the mCRL2 toolset and its recent advances

This page was built for software: SMI++