Sara Adams

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

Coauthor Index

1	Magnus Björk	[2]
2	Thomas F. Melham	[2]
3	Joël Ouaknine	[1]
4	Carl-Johan H. Seger	[2]
5	James Worrell	[1]

Colors in the list of coauthors