mCRL2 models and requirements for the EULYNX Point interface
收藏数据链接：
官方服务：
资源简介：
2 mCRL2 models and 9 nine mu-calculus formulas for the EULYNX Point Interface. Models and requirements are made in the context of the FormaSig project. Data is made available for replication purposes.
提供机构：
Zenodo创建时间：
2021-07-09
