Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models

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]

Authors

Frederick T. Sheldon

This author has not been identified. Look up 'Frederick T. Sheldon' in Google

Stefan Greiner

This author has not been identified. Look up 'Stefan Greiner' in Google

Matthias Benzinger

This author has not been identified. Look up 'Matthias Benzinger' in Google