Sara Adams: Publications
personal ordering | bibtex
|
[0] |
Automatic Abstraction in Symbolic Trajectory Evaluation
Sara Adams et al.
In FMCAD '07: Proceedings of the 7th International Conference on Formal Methods in Computer Aided Design pages 127—135. IEEE Computer Society, 2007.
Details
|
BibTeX
| Download |
|
[0] |
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
| Download |
|
[0] |
On the Undecidability of Universality for Timed Automata with Minimal Resources
Sara Adams
MSc Thesis. 2006.
Details
|
BibTeX
| Download |
|
