Mirco Dotta

	2010
2		Philippe Suter, Mirco Dotta, Viktor Kuncak: Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210
	2009
1		Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha: A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479

Coauthor Index

1	Gul A. Agha (Gul Agha)	[1]
2	Viktor Kuncak	[2]
3	Steven Lauterburg	[1]
4	Darko Marinov	[1]
5	Philippe Suter	[2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page