|
[Jan03]
D. Jansen.
Extensions of statecharts with probability, time, and stochastic timing.
Ph.D. thesis, Universiteit Twente.
October 2003.
http://depend.cs.uni-sb.de/?id=200
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://depend.cs.uni-sb.de/?id=200
|