Andriy Dunets

	2008
3		Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008: 141-155
2		Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115
	2006
1		Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233

Coauthor Index

1	Michael Balser	[1]
2	Simon Bäumler	[1]
3	Wolfgang Reif	[1] [2] [3]
4	Gerhard Schellhorn	[2] [3]
5	Jonathan Schmitt	[1]