Andreas Engelbredt Dalsgaard

	2011
2		Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba: opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493
	2010
1		Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen: METAMOC: Modular Execution Time Analysis using Model Checking. WCET 2010: 113-123

Coauthor Index

1	René Rydhof Hansen	[1] [2]
2	Kenneth Yrke Jørgensen	[2]
3	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [2]
4	Mads Chr. Olesen	[1] [2]
5	Petur Olsen	[2]
6	Jirí Srba	[2]
7	Martin Toft	[1]

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