TY  - RPRT
TI  - Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
AU  - Jerzy Mieścicki
AU  - Bogdan Czejdo
AU  - Wiktor B. Daszczuk
PY  - 2017
UR  - https://arxiv.org/abs/1705.04728
ID  - 1705.04728
ER  -