%0 Conference Paper %1 conf/rodin/LaibinisTLLM06 %A Laibinis, Linas %A Troubitsyna, Elena %A Leppänen, Sari %A Lilius, Johan %A Malik, Qaisar A. %B RODIN Book %D 2006 %E Butler, Michael J. %E Jones, Cliff B. %E Romanovsky, Alexander B. %E Troubitsyna, Elena %I Springer %K dblp %P 261-287 %T Formal Service-Oriented Development of Fault Tolerant Communicating Systems. %U http://dblp.uni-trier.de/db/conf/rodin/rodin2006.html#LaibinisTLLM06 %V 4157 %@ 3-540-48265-2

@inproceedings{conf/rodin/LaibinisTLLM06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar A.}, biburl = {https://www.bibsonomy.org/bibtex/271ba1c1d07bc5bf03db7e68295c401bb/dblp}, booktitle = {RODIN Book}, crossref = {conf/rodin/2006}, editor = {Butler, Michael J. and Jones, Cliff B. and Romanovsky, Alexander B. and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/11916246_14}, interhash = {4a93d3e5dcc22054177c87b8edaa8ec6}, intrahash = {71ba1c1d07bc5bf03db7e68295c401bb}, isbn = {3-540-48265-2}, keywords = {dblp}, pages = {261-287}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2018-02-23T11:38:35.000+0100}, title = {Formal Service-Oriented Development of Fault Tolerant Communicating Systems.}, url = {http://dblp.uni-trier.de/db/conf/rodin/rodin2006.html#LaibinisTLLM06}, volume = 4157, year = 2006 }