Performance Analysis of Probabilistic Timed Automata using Digital Clocks

M. Kwiatkowska, G. Norman, D. Parker, J. Sproston

Computer Science

Research output: Contribution to journal › Article › peer-review

133 Citations (Scopus)

1 results

Finished
Modelling and Analysis of Mobile AD Hoc Network Protocols
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/11/03 → 31/10/06
Project: Research Councils