|
[JHK02]
D. Jansen, H. Hermanns and J.-P. Katoen.
A Probabilistic Extension of UML Statecharts Specification and Verification.
In Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'02), volume 2469 of LNCS, pages 355-374, Springer-Verlag.
September 2002.
http://depend.cs.uni-sb.de/?id=200
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://depend.cs.uni-sb.de/?id=200
|