Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso. Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 561-570, IEEE Computer Society, 2002. [doi]
@inproceedings{TaiSACT02,
title = {Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach},
author = {Ann T. Tai and William H. Sanders and Leon Alkalai and Savio N. Chau and Kam S. Tso},
year = {2002},
url = {http://computer.org/proceedings/dsn/1597/15970561abs.htm},
tags = {translation, analysis, systematic-approach},
researchr = {https://researchr.org/publication/TaiSACT02},
cites = {0},
citedby = {0},
pages = {561-570},
booktitle = {2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-1597-5},
}