Robert Mittermayr

	2008
3		Robert Mittermayr, Johann Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA 2008: 619-633
	2007
2		Johann Blieberger, Bernd Burgstaller, Robert Mittermayr: Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe 2007: 69-83
	2006
1		Bernd Burgstaller, Johann Blieberger, Robert Mittermayr: Static Detection of Access Anomalies in Ada95. Ada-Europe 2006: 40-55

Coauthor Index

1	Johann Blieberger	[1] [2] [3]
2	Bernd Burgstaller	[1] [2]