Sebastian Steinhorst

	2009
2		Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang: Formal approaches to analog circuit verification. DATE 2009: 724-729
	2008
1		Sebastian Steinhorst, Lars Hedrich: Model Checking of Analog Systems using an Analog Specification Language. DATE 2008: 324-329

Coauthor Index

1	Erich Barke	[2]
2	Darius Grabowski	[2]
3	Helmut Graeb	[2]
4	Lars Hedrich	[1] [2]
5	Stefan Heinen	[2]
6	Ralf Popp	[2]
7	Yifan Wang	[2]