|
[CGW07]
R. Colvin, L. Grunske and K. Winter.
Probabilistic Timed Behavior Trees.
In Proc. 6th International Conference on Integrated Formal Methods (IFM'07).
2007.
[bib]
http://www.itee.uq.edu.au/~grunske/Research/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.itee.uq.edu.au/~grunske/Research/
|