Login / Signup
Parameterized verification of time-sensitive models of ad hoc network protocols.
Parosh Aziz Abdulla
Giorgio Delzanno
Othmane Rezine
Arnaud Sangnier
Riccardo Traverso
Published in:
Theor. Comput. Sci. (2016)
Keyphrases
</>
network protocols
data analysis
computational intelligence
computer simulation