%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 %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 = {2023-12-12T18:46:20.000+0100}, author = {Best, Eike and Devillers, Raymond R. and Esparza, Javier}, biburl = {https://www.bibsonomy.org/bibtex/2f76432edf00565c9f0c2e9b24dc72422/admin}, booktitle = {STACS}, crossref = {conf/stacs/1993}, editor = {Enjalbert, Patrice and Finkel, Alain and Wagner, Klaus W.}, ee = {https://doi.org/10.1007/3-540-56503-5_16}, interhash = {1706ccfde90a984d9a0174e5a04d8bc3}, intrahash = {f76432edf00565c9f0c2e9b24dc72422}, isbn = {3-540-56503-5}, keywords = {}, pages = {130-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:46:20.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 }