%0 Conference Paper %1 conf/sss/LinBK13 %A Lin, Yiyan %A Bonakdarpour, Borzoo %A Kulkarni, Sandeep S. %B SSS %D 2013 %E Higashino, Teruo %E Katayama, Yoshiaki %E Masuzawa, Toshimitsu %E Potop-Butucaru, Maria %E Yamashita, Masafumi %I Springer %K dblp %P 266-280 %T Automated Addition of Fault-Tolerance under Synchronous Semantics. %U http://dblp.uni-trier.de/db/conf/sss/sss2013.html#LinBK13 %V 8255 %@ 978-3-319-03088-3

@inproceedings{conf/sss/LinBK13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Lin, Yiyan and Bonakdarpour, Borzoo and Kulkarni, Sandeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2af81526dfc1bb90fd6ff4574e3db4b7c/dblp}, booktitle = {SSS}, crossref = {conf/sss/2013}, editor = {Higashino, Teruo and Katayama, Yoshiaki and Masuzawa, Toshimitsu and Potop-Butucaru, Maria and Yamashita, Masafumi}, ee = {https://doi.org/10.1007/978-3-319-03089-0_19}, interhash = {e0c4c8aa407c0d1fb7b41e9d283c4119}, intrahash = {af81526dfc1bb90fd6ff4574e3db4b7c}, isbn = {978-3-319-03088-3}, keywords = {dblp}, pages = {266-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:26:31.000+0200}, title = {Automated Addition of Fault-Tolerance under Synchronous Semantics.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2013.html#LinBK13}, volume = 8255, year = 2013 }