%0 Conference Paper %1 conf/sss/BasuBBS10 %A Basu, Ananda %A Bonakdarpour, Borzoo %A Bozga, Marius %A Sifakis, Joseph %B SSS %D 2010 %E Dolev, Shlomi %E Cobb, Jorge Arturo %E Fischer, Michael J. %E Yung, Moti %I Springer %K dblp %P 4-18 %T Systematic Correct Construction of Self-stabilizing Systems: A Case Study. %U http://dblp.uni-trier.de/db/conf/sss/sss2010.html#BasuBBS10 %V 6366 %@ 978-3-642-16022-6

@inproceedings{conf/sss/BasuBBS10, added-at = {2017-05-25T00:00:00.000+0200}, author = {Basu, Ananda and Bonakdarpour, Borzoo and Bozga, Marius and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2c0d33a28cf10edfba55a89081a41189f/dblp}, booktitle = {SSS}, crossref = {conf/sss/2010}, editor = {Dolev, Shlomi and Cobb, Jorge Arturo and Fischer, Michael J. and Yung, Moti}, ee = {https://doi.org/10.1007/978-3-642-16023-3_4}, interhash = {4997b92e4cf8165eb7c58f9468d82017}, intrahash = {c0d33a28cf10edfba55a89081a41189f}, isbn = {978-3-642-16022-6}, keywords = {dblp}, pages = {4-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:21:34.000+0200}, title = {Systematic Correct Construction of Self-stabilizing Systems: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2010.html#BasuBBS10}, volume = 6366, year = 2010 }