%0 Conference Paper %1 conf/vstte/ErnstSHPR13 %A Ernst, Gidon %A Schellhorn, Gerhard %A Haneberg, Dominik %A Pfähler, Jörg %A Reif, Wolfgang %B VSTTE %D 2013 %E Cohen, Ernie %E Rybalchenko, Andrey %I Springer %K %P 242-261 %T Verification of a Virtual Filesystem Switch. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#ErnstSHPR13 %V 8164 %@ 978-3-642-54107-0

@inproceedings{conf/vstte/ErnstSHPR13, added-at = {2023-12-13T04:13:03.000+0100}, author = {Ernst, Gidon and Schellhorn, Gerhard and Haneberg, Dominik and Pfähler, Jörg and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/222b60d89a90026bc527a73b79f1fa772/admin}, booktitle = {VSTTE}, crossref = {conf/vstte/2013}, editor = {Cohen, Ernie and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-54108-7_13}, interhash = {934473f1c09b9add9b7a93058320c9cb}, intrahash = {22b60d89a90026bc527a73b79f1fa772}, isbn = {978-3-642-54107-0}, keywords = {}, pages = {242-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:13:03.000+0100}, title = {Verification of a Virtual Filesystem Switch.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#ErnstSHPR13}, volume = 8164, year = 2013 }