Javier O. Blanco

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Renato Cherini, Javier O. Blanco: Local reasoning for abstraction and sharing. SAC 2009: 552-557

2007

1 Damián Barsotti, Javier O. Blanco: Automatic Refinement of Split Binary Semaphore. ICTAC 2007: 64-78

	2009
2		Renato Cherini, Javier O. Blanco: Local reasoning for abstraction and sharing. SAC 2009: 552-557
	2007
1		Damián Barsotti, Javier O. Blanco: Automatic Refinement of Split Binary Semaphore. ICTAC 2007: 64-78

Coauthor Index

1 Damián Barsotti [1]

2 Renato Cherini [2]

Colors in the list of coauthors