Cristiano Bertolini

	2008
3		Cristiano Bertolini, Alexandre Mota: Using Refinement Checking as System Testing. CIbSE 2008: 17-30
	2004
2		Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo: Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS 2004: 139-146
1		Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira: Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. SEFM 2004: 251-260

Coauthor Index

1	Leonardo Brenner	[2]
2	André G. Farina	[1]
3	Paulo Fernandes (Paulo Henrique Lemelle Fernandes)	[1] [2]
4	Alexandre Mota (Alexandre Cabral Mota)	[3]
5	Flávio Moreira Oliveira	[1]
6	Afonso Sales	[2]
7	Avelino Francisco Zorzo (Avelino F. Zorzo)	[2]

Colors in the list of coauthors