%0 Journal Article %1 BroyKM07 %A Broy, Manfred %A Krüger, Ingolf H. %A Meisinger, Michael %D 2007 %I ACM %J ACM Trans. Softw. Eng. Methodol. %K faulttolerance reliability testing %T A formal model of services %V 16

@article{BroyKM07, added-at = {2012-02-28T20:28:59.000+0100}, author = {Broy, Manfred and Kr\"{u}ger, Ingolf H. and Meisinger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2f4180b86efecf302375904adb8fe7dfb/maxj}, interhash = {62cb9c42da6113cf1896a27fc5099d04}, intrahash = {f4180b86efecf302375904adb8fe7dfb}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {faulttolerance reliability testing}, publisher = {ACM}, timestamp = {2012-02-28T20:28:59.000+0100}, title = {A formal model of services}, volume = 16, year = 2007 }