%0 Journal Article %1 journals/isci/MeskiPR15 %A Meski, Artur %A Penczek, Wojciech %A Rozenberg, Grzegorz %D 2015 %J Inf. Sci. %K dblp %P 22-42 %T Model checking temporal properties of reaction systems. %U http://dblp.uni-trier.de/db/journals/isci/isci313.html#MeskiPR15 %V 313

@article{journals/isci/MeskiPR15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Meski, Artur and Penczek, Wojciech and Rozenberg, Grzegorz}, biburl = {https://www.bibsonomy.org/bibtex/2ad8d9119dbf429be7789b706e06e0746/dblp}, ee = {https://doi.org/10.1016/j.ins.2015.03.048}, interhash = {e2cc61663ecbfb18ba8708767ad26cb0}, intrahash = {ad8d9119dbf429be7789b706e06e0746}, journal = {Inf. Sci.}, keywords = {dblp}, pages = {22-42}, timestamp = {2019-10-22T11:55:06.000+0200}, title = {Model checking temporal properties of reaction systems.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci313.html#MeskiPR15}, volume = 313, year = 2015 }