|
[Tro06]
A. Troina.
Probabilistic Timed Automata for Security Analysis and Design.
Ph.D. thesis, University of Pisa.
2006.
http://www.lix.polytechnique.fr/~troina/
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.lix.polytechnique.fr/~troina/
|