%0 Conference Paper %1 conf/stacs/BestDE93 %A Best, Eike %A Devillers, Raymond R. %A Esparza, Javier %B STACS %D 1993 %E Enjalbert, Patrice %E Finkel, Alain %E Wagner, Klaus W. %I Springer %K petri-nets refinement %P 130-140 %T General Refinement and Recursion Operators for the Petri Box Calculus. %U http://dblp.uni-trier.de/db/conf/stacs/stacs93.html#BestDE93 %V 665 %@ 3-540-56503-5

@inproceedings{conf/stacs/BestDE93, added-at = {2009-11-01T13:56:32.000+0100}, author = {Best, Eike and Devillers, Raymond R. and Esparza, Javier}, biburl = {https://www.bibsonomy.org/bibtex/2f76432edf00565c9f0c2e9b24dc72422/hidders}, booktitle = {STACS}, crossref = {conf/stacs/1993}, date = {2009-10-06}, description = {dblp}, editor = {Enjalbert, Patrice and Finkel, Alain and Wagner, Klaus W.}, ee = {http://dx.doi.org/10.1007/3-540-56503-5_16}, interhash = {1706ccfde90a984d9a0174e5a04d8bc3}, intrahash = {f76432edf00565c9f0c2e9b24dc72422}, isbn = {3-540-56503-5}, keywords = {petri-nets refinement}, pages = {130-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-11-01T13:56:32.000+0100}, title = {General Refinement and Recursion Operators for the Petri Box Calculus.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs93.html#BestDE93}, volume = 665, year = 1993 }