%0 Conference Paper %1 Kuhnrich09ProcessAlgebraicProofFaultTolerance %A Kühnrich, Morten %A Nestmann, Uwe %B Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems %C Berlin, Heidelberg %D 2009 %I Springer-Verlag %K distributed fault_tolerance process_algebra verification %P 198--212 %R http://dx.doi.org/10.1007/978-3-642-02138-1_13 %T On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems %U http://dx.doi.org/10.1007/978-3-642-02138-1_13 %@ 978-3-642-02137-4

@inproceedings{Kuhnrich09ProcessAlgebraicProofFaultTolerance, acmid = {1573970}, added-at = {2011-02-01T15:05:30.000+0100}, address = {Berlin, Heidelberg}, author = {K\"{u}hnrich, Morten and Nestmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2d3c7cd77370fcb4d832ebd7f13fe61d3/giuliano.losa}, booktitle = {Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems}, doi = {http://dx.doi.org/10.1007/978-3-642-02138-1_13}, interhash = {87a4d2d58a5974d7679f0b45d4c6f862}, intrahash = {d3c7cd77370fcb4d832ebd7f13fe61d3}, isbn = {978-3-642-02137-4}, keywords = {distributed fault_tolerance process_algebra verification}, location = {Lisboa, Portugal}, numpages = {15}, pages = {198--212}, publisher = {Springer-Verlag}, series = {FMOODS '09/FORTE '09}, timestamp = {2011-02-01T15:05:30.000+0100}, title = {On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems}, url = {http://dx.doi.org/10.1007/978-3-642-02138-1_13}, year = 2009 }