%0 Generic %1 MertzProvingDiscPaxos %A Merz, Stephan %A Jaskelioff, Mauro %D 2005 %K distributed faulttolerant isabelle verification %T Proving the Correctness of Disk Paxos in Isabelle/HOL %U http://afp.sourceforge.net/entries/DiskPaxos.shtml

@misc{MertzProvingDiscPaxos, added-at = {2010-01-28T10:33:05.000+0100}, author = {Merz, Stephan and Jaskelioff, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/21538bbb20039fee82f8ac59c23059663/giuliano.losa}, description = {Proving the Correctness of Disk Paxos in Isabelle/HOL}, howpublished = {http://afp.sourceforge.net/entries/DiskPaxos.shtml}, interhash = {547a6abd8de8fcc190e080130923ceec}, intrahash = {1538bbb20039fee82f8ac59c23059663}, keywords = {distributed faulttolerant isabelle verification}, month = {June}, timestamp = {2010-01-28T10:33:06.000+0100}, title = {Proving the Correctness of Disk Paxos in Isabelle/HOL}, url = {http://afp.sourceforge.net/entries/DiskPaxos.shtml}, year = 2005 }