Jump to navigation
Dependable Systems Group
Publications
Filters:
Author
is
Alwen Tiu
[Clear All Filters]
2007
D. Barsotti
,
Nieto, L. P.
, and
Tiu, A.
,
“
Verification of clock synchronization algorithms: experiments on a combination of deductive tools
”
,
Formal Asp. Comput.
, vol. 19, pp. 321-341, 2007.
DOI
Google Scholar
Main menu
Home
Members
Projects
Publications
Alumni
News
Tools
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Home
Members
Projects
Publications
Alumni
News
Tools