Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger. Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 123-132, IEEE Computer Society, 2000. [doi]
@inproceedings{SheldonGB00,
title = {Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models},
author = {Frederick T. Sheldon and Stefan Greiner and Matthias Benzinger},
year = {2000},
url = {http://portal.acm.org/citation.cfm?id=857171.857219},
tags = {analysis, reliability},
researchr = {https://researchr.org/publication/SheldonGB00},
cites = {0},
citedby = {0},
pages = {123-132},
booktitle = {Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000},
publisher = {IEEE Computer Society},
isbn = {0-7695-0884-7},
}