Paula Herber

	2009
2		Paula Herber, Florian Friedemann, Sabine Glesner: Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP 2009: 121-136
	2008
1		Paula Herber, Joachim Fellmuth, Sabine Glesner: Model checking SystemC designs using timed automata. CODES+ISSS 2008: 131-136

Coauthor Index

1	Joachim Fellmuth	[1]
2	Florian Friedemann	[2]
3	Sabine Glesner	[1] [2]