%0 Journal Article %1 journals/fmsd/ColomboPA12 %A Colombo, Christian %A Pace, Gordon J. %A Abela, Patrick %D 2012 %J Formal Methods Syst. Des. %K dblp %N 3 %P 269-294 %T Safer asynchronous runtime monitoring using compensations. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd41.html#ColomboPA12 %V 41

@article{journals/fmsd/ColomboPA12, added-at = {2022-01-03T00:00:00.000+0100}, author = {Colombo, Christian and Pace, Gordon J. and Abela, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/201374471c4af41b23ad5db4c88832f11/dblp}, ee = {https://doi.org/10.1007/s10703-012-0142-8}, interhash = {2b94e3b9e609a823ec552ba507c6d499}, intrahash = {01374471c4af41b23ad5db4c88832f11}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {269-294}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Safer asynchronous runtime monitoring using compensations.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd41.html#ColomboPA12}, volume = 41, year = 2012 }