TY  - RPRT
TI  - System level specification and verification using Concurrent State Machines and COSMA environment
AU  - Wiktor B. Daszczuk
AU  - Jerzy Mieścicki
AU  - Michał Nowacki
AU  - Jacek Wytrębowicz
PY  - 2017
UR  - https://arxiv.org/abs/1703.05541
ID  - 1703.05541
ER  -