Bryan A. Brady

2007
2	EE	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256
1	EE	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372

Coauthor Index

1	Randal E. Bryant	[1]
2	Susmit Jha	[2]
3	Daniel Kroening (Daniel Kröning)	[1]
4	Joël Ouaknine	[1]
5	Sanjit A. Seshia	[1] [2]
6	Ofer Strichman	[1]