Bao Liu, Xuemei Chen, Fiona Teshome. Resilient and adaptive performance logic. JETC, 8(3):22, 2012. [doi]
@article{LiuCT12-1, title = {Resilient and adaptive performance logic}, author = {Bao Liu and Xuemei Chen and Fiona Teshome}, year = {2012}, doi = {10.1145/2287696.2287705}, url = {http://doi.acm.org/10.1145/2287696.2287705}, researchr = {https://researchr.org/publication/LiuCT12-1}, cites = {0}, citedby = {0}, journal = {JETC}, volume = {8}, number = {3}, pages = {22}, }