![]() | ![]() |
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 |
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] |