Renata Kaufman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Renata Kaufman, Augusto Sampaio, Alexandre Mota: Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250

	2009
1		Renata Kaufman, Augusto Sampaio, Alexandre Mota: Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250

Coauthor Index

1 Alexandre Mota (Alexandre Cabral Mota) [1]

2 Augusto Sampaio [1]

1	Alexandre Mota (Alexandre Cabral Mota)	[1]
2	Augusto Sampaio	[1]