@misc{indiciae677c3997c9f6,
  title = {Behavioral an real-time verification of a pipeline in the COSMA environment},
  author = {Jerzy Mieścicki and Wiktor B. Daszczuk},
  year = {2017},
  url = {https://arxiv.org/abs/1703.05523},
  note = {Source identifier: 1703.05523}
}