%0 Conference Paper %1 conf/csl/DanosPR96 %A Danos, Vincent %A Pedicini, Marco %A Regnier, Laurent %B CSL %D 1996 %E van Dalen, Dirk %E Bezem, Marc %I Springer %K dblp %P 76-88 %T Directed Virtual Reductions. %U http://dblp.uni-trier.de/db/conf/csl/csl96.html#DanosPR96 %V 1258 %@ 3-540-63172-0

@inproceedings{conf/csl/DanosPR96, added-at = {2017-09-16T00:00:00.000+0200}, author = {Danos, Vincent and Pedicini, Marco and Regnier, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2aa3528063228242afb59392303739852/dblp}, booktitle = {CSL}, crossref = {conf/csl/1996}, editor = {van Dalen, Dirk and Bezem, Marc}, ee = {https://doi.org/10.1007/3-540-63172-0_33}, interhash = {be897579f6c38384a2ca0d1c30d50727}, intrahash = {aa3528063228242afb59392303739852}, isbn = {3-540-63172-0}, keywords = {dblp}, pages = {76-88}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:35:06.000+0200}, title = {Directed Virtual Reductions.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl96.html#DanosPR96}, volume = 1258, year = 1996 }