Matthias Raffelsieper

	2009
2		Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema: Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS 2009: 133-148
1		Matthias Raffelsieper, Hans Zantema: A Transformational Approach to Prove Outermost Termination Automatically. Electr. Notes Theor. Comput. Sci. 237: 3-21 (2009)

Coauthor Index

1	Mohammad Reza Mousavi	[2]
2	Jan-Willem Roorda	[2]
3	Chris W. H. Strolenberg	[2]
4	Hans Zantema	[1] [2]