Sara Adams : Publications
Personal orderingBibtex
|
[0] |
Automatic Abstraction in Symbolic Trajectory Evaluation Sara Adams‚ Magnus Bj�rk‚ Tom Melham and Carl−Johan Seger In FMCAD '07: Proceedings of the 7th International Conference on Formal Methods in Computer Aided Design. Pages 127–135. IEEE Computer Society. 2007. |
|
[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. |
|
[0] |
On the Undecidability of Universality for Timed Automata with Minimal Resources Sara Adams MSc Thesis. 2006. |