TY  - RPRT
TI  - Verification of Concurrent Engineering Software Using CSM Models
AU  - Jerzy Mieścicki
AU  - Mikołaj Baszun
AU  - Wiktor B. Daszczuk
AU  - Bogdan D. Czejdo
PY  - 2017
UR  - https://arxiv.org/abs/1704.06351
ID  - 1704.06351
ER  -