Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty. Modeling and Analysis of Probabilistic Timed Systems. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 69-78, IEEE Computer Society, 2009. [doi]
@inproceedings{DubeyRAB09,
title = {Modeling and Analysis of Probabilistic Timed Systems},
author = {Abhishek Dubey and Derek Riley and Sherif Abdelwahed and Ted Bapty},
year = {2009},
doi = {10.1109/ECBS.2009.44},
url = {http://dx.doi.org/10.1109/ECBS.2009.44},
tags = {modeling, analysis},
researchr = {https://researchr.org/publication/DubeyRAB09},
cites = {0},
citedby = {0},
pages = {69-78},
booktitle = {16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3602-6},
}