%0 Conference Paper %1 conf/forte/LienhardtLMS12 %A Lienhardt, Michael %A Lanese, Ivan %A Mezzina, Claudio Antares %A Stefani, Jean-Bernard %B FMOODS/FORTE %D 2012 %E Giese, Holger %E Rosu, Grigore %I Springer %K dblp %P 1-17 %T A Reversible Abstract Machine and Its Space Overhead. %U http://dblp.uni-trier.de/db/conf/forte/forte2012.html#LienhardtLMS12 %V 7273 %@ 978-3-642-30792-8

@inproceedings{conf/forte/LienhardtLMS12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2bfcbe8bb623589eab3f887e144055b97/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2012}, editor = {Giese, Holger and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-642-30793-5_1}, interhash = {9bdc0f5bd2d7d6e7edefb485c3deeee9}, intrahash = {bfcbe8bb623589eab3f887e144055b97}, isbn = {978-3-642-30792-8}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:16.000+0200}, title = {A Reversible Abstract Machine and Its Space Overhead.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2012.html#LienhardtLMS12}, volume = 7273, year = 2012 }