|
Search the dblp DataBase
Damián Barsotti:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:63-78 [Journal]
- Damián Barsotti, Javier O. Blanco
Automatic Refinement of Split Binary Semaphore. [Citation Graph (0, 0)][DBLP] ICTAC, 2007, pp:64-78 [Conf]
- Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2007, v:19, n:3, pp:321-341 [Journal]
Automatic Probabilistic Program Verification through Random Variable Abstraction [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|