Amanote Research
Register
Sign In
Structured Markov Chains Solver: Tool Extension
doi 10.4108/icst.valuetools2009.7443
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
D. A. Bini
B. Meini
S. Steffé
B. Van Houdt
Publisher
ICST