Eva Fordran

	2009
2		Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe: Formal Verification of UML-modeled Machine Controls. ETFA 2009: 1-7
	1999
1		Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube: Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. EUROMICRO 1999: 1075-

Coauthor Index

1	Jürgen Haufe	[2]
2	Thomas Klotz	[2]
3	Jens Schönherr	[1]
4	Ingo Schreiber	[1]
5	Bernd Straube	[1] [2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page