Statistics
Publications
1
Citations
74
H-Index
1
Active since
1987
Carlos Alfaro Rodriguez is an author specializing in formal methods, verification, and formal verification.
Publications per year
1987–1987
1
1
Verification in XESAR of the Sliding Window Protocol
Jean-Luc Richier, Carlos Alfaro Rodriguez, Joseph Sifakis et al. · 1987 · 74 citations
Sliding Window Protocol, Engineering, Automated Reasoning +8
1–1 of 1