b'@inproceedings{LuTlaPastryForte2011,'b'\nTITLE = {Towards Verification of the {Pastry} Routing Protocol using {TLA+}},\nAUTHOR = {Lu, Tianxiang and Merz, Stephan and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISBN = {978-3-642-21460-8},\nDOI = {10.1007/978-3-642-21461-5_16},\nLOCALID = {Local-ID: C125716C0050FB51-3A4D1F5C6FC10A4BC125785A003BAB25-LuTlaPastryForte2011},\nPUBLISHER = {Springer},\nYEAR = {2011},\nDATE = {2011},\nBOOKTITLE = {Formal Techniques for Distributed Systems (FMOODS 2011)},\nEDITOR = {Bruni, Roberto and Dingel, Juergen},\nPAGES = {244--258},\nSERIES = {Lecture Notes in Computer Science},\nVOLUME = {6722},\nADDRESS = {Reykjavik, Iceland},\n}\n'