Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Home
Publications
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
30 August 2001
book
Published by
Springer Nature
https://doi.org/10.1007/3-540-44804-7
Abstract
No abstract available
Keywords
RANDOM VARIABLE
ALGEBRA
MODEL
MODEL CHECKING
MODELING
SYSTEM MODELING
VERIFICATION
Cited
Cited by 8 articles
Scroll to top