%0 Conference Paper %1 conf/forte/LuMW11 %A Lu, Tianxiang %A Merz, Stephan %A Weidenbach, Christoph %B FMOODS/FORTE %D 2011 %E Bruni, Roberto %E Dingel, Jürgen %I Springer %K dblp %P 244-258 %T Towards Verification of the Pastry Protocol Using TLA + . %U http://dblp.uni-trier.de/db/conf/forte/forte2011.html#LuMW11 %V 6722 %@ 978-3-642-21460-8

@inproceedings{conf/forte/LuMW11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Lu, Tianxiang and Merz, Stephan and Weidenbach, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2671e357ca185cf1f5522eeb8d593506d/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2011}, editor = {Bruni, Roberto and Dingel, Jürgen}, ee = {https://doi.org/10.1007/978-3-642-21461-5_16}, interhash = {8a2c23f1ac270fc55e62d1fd39574818}, intrahash = {671e357ca185cf1f5522eeb8d593506d}, isbn = {978-3-642-21460-8}, keywords = {dblp}, pages = {244-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:01.000+0200}, title = {Towards Verification of the Pastry Protocol Using TLA + .}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2011.html#LuMW11}, volume = 6722, year = 2011 }