Thomas Sidle

	2005
3		Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle: Error Detection Using BMC in a Parallel Environment. CHARME 2005: 354-358
2		Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle: Dynamic abstraction using SAT-based BMC. DAC 2005: 754-757
	2004
1		Christian Stangier, Thomas Sidle: Invariant Checking Combining Forward and Backward Traversal. FMCAD 2004: 414-429

Coauthor Index

1	Michael S. Hsiao	[2]
2	Subramanian K. Iyer	[3]
3	Jawahar Jain	[3]
4	Mukul R. Prasad	[2] [3]
5	Debashis Sahoo	[3]
6	Christian Stangier	[1]
7	Liang Zhang	[2]