bn:00956442n
Noun Named Entity
IT
No term available
EN
mCRL2 is a specification language for describing concurrent discrete event systems. Wikipedia
Relations
Sources