@misc{Męski_Artur_Model_2014,
 author={Męski, Artur and Penczek, Wojciech and Rozenberg, Grzegorz},
 title={Model Checking Temporal Properties of Reaction Systems},
 address={Warszawa},
 year={2014},
 language={eng},
 type={raport},
 publisher={Instytut Podstaw Informatyki PAN},
}