Miquel Nicolau

	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
	2001
1		Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39

Coauthor Index

1	Francesc-Xavier Babot	[1] [2]
2	Miquel Bertran	[1] [2]
3	August Climent	[1] [2]
4	Albert Duran	[2]
5	Miquel Porta	[2]