James Worrell
| Dr James Worrell
University Lecturer
(0)1865 273843
|
interests
Real-time, probabilistic and infinite-state verification
biography
PhD in Computer Science, University of Oxford, 2001
links
My DBLP entry
My home page
publications
|
Undecidability of Universality for Timed Automata with Minimal Resources
Sara Adams, Joel Ouaknine and James Worrell
In Formal Modeling and Analysis of Timed Systems 2007 Vol. 4763 of Lecture Notes in Computer Science, pages 25-37. Springer, 2007.
Details
|
BibTeX
| Link (pdf) |
View all
location
Wolfson Building, Parks Road, Oxford OX1 3QD
|
