AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS
From MaRDI portal
Publication:3016215
DOI10.1142/S0129054111008416zbMath1216.68048MaRDI QIDQ3016215
Ahmed Rezine, Giorgio Delzanno, Parosh Aziz Abdulla
Publication date: 14 July 2011
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Cites Work
This page was built for publication: AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS