%0 Conference Paper %1 berthelot1 %A Berthelot, G. %B Advances in Petri Nets 1985 %D 1986 %E Rozenberg, G. %I Springer-Verlag, Berlin %K BPM collection imported %P 19--40 %T Checking Properties of Nets Using Transformations %V 222

@inproceedings{berthelot1, added-at = {2012-11-22T19:17:38.000+0100}, author = {Berthelot, G.}, biburl = {https://www.bibsonomy.org/bibtex/2703705bd249617bbad9e02f6882a4f50/wvdaalst}, booktitle = {Advances in Petri Nets 1985}, editor = {Rozenberg, G.}, interhash = {5372f58f24d075896b900d4df2a9982f}, intrahash = {703705bd249617bbad9e02f6882a4f50}, keywords = {BPM collection imported}, pages = {19--40}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:21:31.000+0100}, title = {{Checking Properties of Nets Using Transformations}}, volume = 222, year = 1986 }