%0 Journal Article %1 journals/iee/FlorioB10 %A Florio, Vincenzo De %A Blondia, Chris %D 2010 %J IET Softw. %K dblp %N 2 %P 119-133 %T Design tool to express failure detection protocols. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#FlorioB10 %V 4

@article{journals/iee/FlorioB10, added-at = {2020-05-22T00:00:00.000+0200}, author = {Florio, Vincenzo De and Blondia, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2bbb843fe64f869be7bb42b607601c387/dblp}, ee = {https://doi.org/10.1049/iet-sen.2009.0043}, interhash = {df5a46473cd894401a1ca9872826eeba}, intrahash = {bbb843fe64f869be7bb42b607601c387}, journal = {IET Softw.}, keywords = {dblp}, number = 2, pages = {119-133}, timestamp = {2020-05-23T11:55:42.000+0200}, title = {Design tool to express failure detection protocols.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#FlorioB10}, volume = 4, year = 2010 }