Ove Åkerlund

	2004
3		Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund: Designing Safe, Reliable Systems Using Scade. ISoLA 2004: 115-129
2		Parosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund: Designing Safe, Reliable Systems using Scade. ISoLA (Preliminary proceedings) 2004: 111-118
	1999
1		Simin Nadjm-Tehrani, Ove Åkerlund: Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods 1999: 1384-1399

Coauthor Index

1	Parosh Aziz Abdulla	[2] [3]
2	Herman Ågren	[2] [3]
3	Johan Deneaux	[2]
4	Johann Deneux	[3]
5	Simin Nadjm-Tehrani	[1]
6	Gunnar Stålmarck	[2] [3]

Colors in the list of coauthors