Frits Dannenberg
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| Arithmetic Self−Similarity of Infinite Sequences D. Hendriks‚ F. G. W. Dannenberg‚ J. Endrullis‚ M. Dow and J. Willem Klop In ArXiv e−prints. January, 2012. |
Info
|
Themes |
|
|
Activities |
PRISM | Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Supervisor |
|
