An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
Authors:
Mario Bravetti
Affiliations:
-
Venue:
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification