%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 %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 = {2023-12-13T04:54:16.000+0100}, author = {Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2bfcbe8bb623589eab3f887e144055b97/admin}, 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 = {}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:54:16.000+0100}, 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 }