dblp.uni-trier.dewww.uni-trier.de

Javier O. Blanco

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Damián Barsotti [1]
2Renato Cherini [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)