TY  - RPRT
TI  - Behavioral an real-time verification of a pipeline in the COSMA environment
AU  - Jerzy Mieścicki
AU  - Wiktor B. Daszczuk
PY  - 2017
UR  - https://arxiv.org/abs/1703.05523
ID  - 1703.05523
ER  -