Radu Gruian

	2005
2		Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum: Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV 2005: 158-163
1		Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254

Coauthor Index

1	Gogul Balakrishnan	[1] [2]
2	Chi-Hua Chen	[2]
3	Nicholas Kidd	[2]
4	Akash Lal	[2]
5	Junghee Lim	[2]
6	David Melski	[2]
7	Thomas W. Reps	[1] [2]
8	Tim Teitelbaum	[1] [2]
9	Suan Hsi Yong	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page