Ivo Raedts

	2007
2		Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers: Transformation of BPMN Models for Behaviour Analysis. MSVVEIS 2007: 126-137
1		Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote: A software framework for automated verification. SAC 2007: 1031-1032

Coauthor Index

1	Maarten Boote	[1]
2	Jan Friso Groote	[2]
3	Marija Petkovic	[1] [2]
4	Alexander Serebrenik	[1]
5	Lou J. Somers	[1] [2]
6	Yaroslav S. Usenko	[2]
7	Jan Martijn E. M. van der Werf	[1] [2]