Old Web
English
Sign In
Acemap
>
Paper
>
New Software and Platforms - Protocol Verification Tools
New Software and Platforms - Protocol Verification Tools
2015
Véronique Cortier
Stéphane Glondu
Pierre-Cyrille Héam
Olga Kouchnarenko
Steve Kremer
Michaël Rusinowitch
Mathieu Turuani
Laurent Vigneron
Keywords:
Computer engineering
Software
Computer science
Software engineering
protocol verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]