Sara Adams

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger
Automatic Abstraction in Symbolic Trajectory Evaluation. FMCAD (2007)
Sara Adams, Joël Ouaknine, James Worrell
Undecidability of Universality for Timed Automata with Minimal Resources. FORMATS (2007)