Boris Zweimüller

	2007
2		Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
	2004
1		Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465

Coauthor Index

1	Cyrille Artho	[1] [2]
2	Marcel Baur	[1]
3	Armin Biere	[1] [2]
4	Pascal Eugster	[1]
5	Shinichi Honiden	[2]
6	Viktor Schuppan	[1]
7	Etsuya Shibayama	[2]