Albert Duran

	2002
2		Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Integrating Formal Verification of Parallelization in the PADD/RALE Environment. JISBD 2002: 305-314
	1997
1		Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran: Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ARTS 1997: 263-279

Coauthor Index

1	Felipe Alvarez-Cuevas	[1]
2	Francesc-Xavier Babot	[2]
3	Miquel Bertran	[1] [2]
4	August Climent	[2]
5	Miquel Nicolau	[2]
6	Miquel Porta	[2]