@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}, }