@misc{indiciae3d706698e69d, title = {PN2SC Case Study: An EMF-IncQuery solution}, author = {Benedek Izsó and Ábel Hegedüs and Gábor Bergmann and Ákos Horváth and István Ráth}, year = {2013}, doi = {10.4204/eptcs.135.14}, url = {https://arxiv.org/abs/1312.0354}, note = {Source identifier: 1312.0354} }