A Probabilistic Extension of UML Statecharts

@inproceedings{Jansen2002APE,
  title={A Probabilistic Extension of UML Statecharts},
  author={David N. Jansen and Holger Hermanns and Joost-Pieter Katoen},
  booktitle={FTRTFT},
  year={2002}
}
Highly Cited
This paper has 27 citations. REVIEW CITATIONS