@misc{Mieścicki_Jerzy_Behavioral,
 author={Mieścicki, Jerzy and Daszczuk, Wiktor B.},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={artykuł},
 title={Behavioral an real-time verification of a pipeline in the COSMA environment},
}