Sciweavers

27354 search results - page 163 / 5471
» Distributed And Parallel Computing
Sort
View
95
Voted
CONCUR
2000
Springer
15 years 5 months ago
On the Reachability Problem in Cryptographic Protocols
Roberto M. Amadio, Denis Lugiez
122
Voted
CONCUR
1995
Springer
15 years 5 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen