@inproceedings{conf/fast/SivathanuAAJ05,
	title = {A Logic of File Systems.},
	author = {Muthian Sivathanu and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Somesh Jha},
	booktitle = {FAST},
	crossref = {conf/fast/2005},
	publisher = {USENIX},
	url = {http://dblp.uni-trier.de/db/conf/fast/fast2005.html#SivathanuAAJ05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/26f86c9c096cd1e7594fdb7f454dc38f3/dblp},
	description = {dblp},
	ee = {http://www.usenix.org/events/fast05/tech/sivathanu_logic.html}, date = {2006-01-05},
	keywords = {dblp }
}