Eduardo T. Rödel

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. LADC (2003)