Amanote Research
Register
Sign In
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
doi 10.1109/qest.2007.40
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2007
Authors
Susanna Donatelli
Serge Haddad
Jeremy Sproston
Publisher
IEEE