Davor Slutej

	2009
2		Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson: Analyzing a Pattern-Based Model of a Real-Time Turntable System. Electr. Notes Theor. Comput. Sci. 253(1): 161-178 (2009)
	2008
1		John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257

Coauthor Index

1	Jan Carlson	[1]
2	John Håkansson	[1] [2]
3	Aurelien Monot	[1]
4	Paul Pettersson	[1] [2]
5	Cristina Cerschi Seceleanu	[2]
6	Jagadish Suryadevara	[2]