Stefan Kiefer
|
Stefan Kiefer
Visiting Academic
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
verification, probabilistic models, infinite-state systems, quantitative analysis
Links
Recent News
Miscellaneous
Papers accepted to FoSSaCS 2012
Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software
Info
|
Themes |
|
|
Activities |
