Statistics
Publications
2
Citations
27
H-Index
2
Active since
1997
Affiliations
Technische Universität Braunschweig(Current)
Antonio Díaz Grau is an author at Technische Universität Braunschweig specializing in computing, computer science, and software verification.
Publications per year
1997–2002
2
2
Optimizing protocol rewrite rules of CIL specifications
Grit Denker, Jonathan K. Millen, Antonio Díaz Grau et al. · 2002 · 17 citations
1–2 of 2