![]() | ![]() |
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] |