Vol-1159⫷ Vol-1160 ⫸Vol-1161
urn:nbn:de:0074-1160-0


None⫷None⫸None
Didier BuchsMihai-Lica Pura

Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks