@misc{indiciae131cc3c159ac,
  title = {Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing},
  author = {Jerzy Mieścicki and Bogdan Czejdo and Wiktor B. Daszczuk},
  year = {2017},
  url = {https://arxiv.org/abs/1705.04728},
  note = {Source identifier: 1705.04728}
}