|
[KSW04b]
M. Kuntz, M. Siegle and E. Werner.
CASPA: A Tool for Symbolic Performance and Dependability Evaluation.
In Supplemental Volume of Proc. of Int. Conf. on Dependable Systems and Networks (DSN'04), pages 90-91.
2004.
http://fakinf.informatik.unibw-muenchen.de/~msiegle/own.html
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://fakinf.informatik.unibw-muenchen.de/~msiegle/own.html
|