%0 Conference Paper %1 conf/vstte/ErnstPSR15 %A Ernst, Gidon %A Pfähler, Jörg %A Schellhorn, Gerhard %A Reif, Wolfgang %B VSTTE %D 2015 %E Gurfinkel, Arie %E Seshia, Sanjit A. %I Springer %K dblp %P 73-93 %T Inside a Verified Flash File System: Transactions and Garbage Collection. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#ErnstPSR15 %V 9593 %@ 978-3-319-29612-8

@inproceedings{conf/vstte/ErnstPSR15, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ernst, Gidon and Pfähler, Jörg and Schellhorn, Gerhard and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2191f9aee35b12e34d3316b7ed5bc8636/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2015}, editor = {Gurfinkel, Arie and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-319-29613-5_5}, interhash = {3e5c5a3d4ab6c2c74ac1702c59b4e2fc}, intrahash = {191f9aee35b12e34d3316b7ed5bc8636}, isbn = {978-3-319-29612-8}, keywords = {dblp}, pages = {73-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:09:28.000+0200}, title = {Inside a Verified Flash File System: Transactions and Garbage Collection.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#ErnstPSR15}, volume = 9593, year = 2015 }