James Worrell: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
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) |
|
