Damián Barsotti

	2007
3		Damián Barsotti, Javier O. Blanco: Automatic Refinement of Split Binary Semaphore. ICTAC 2007: 64-78
2		Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu: Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Formal Asp. Comput. 19(3): 321-341 (2007)
	2006
1		Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu: Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. Electr. Notes Theor. Comput. Sci. 145: 63-78 (2006)

Coauthor Index

1	Javier O. Blanco	[3]
2	Leonor Prensa Nieto	[1] [2]
3	Alwen Tiu (Alwen Fernanto Tiu)	[1] [2]

Colors in the list of coauthors