[GF07a]
J. Greifeneder and J. Frey.
Probabilistic Timed Automata for Modeling Networked Automation Systems.
In Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), pages 143-148.
June 2007.
[bib]
http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
|
Links:
[Google]
[Google Scholar]
|