Deriving protocol specifications from se
โ
Christian Kant; Teruo Higashino; Gregor von Bochmann
๐
Article
๐
1996
๐
Springer-Verlag
๐
English
โ 524 KB