| |
| 2007 | ||
|---|---|---|
| 3 | EE | Damián Barsotti, Javier O. Blanco: Automatic Refinement of Split Binary Semaphore. ICTAC 2007: 64-78 |
| 2 | EE | 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 | EE | 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) |
| 1 | Javier O. Blanco | [3] |
| 2 | Leonor Prensa Nieto | [1] [2] |
| 3 | Alwen Tiu (Alwen Fernanto Tiu) | [1] [2] |