Login / Signup
Modelling and verification of an atomic action protocol implemented in Ada.
Alan Burns
Andy J. Wellings
Frank P. Burns
Albert Koelmans
Maciej Koutny
Alexander B. Romanovsky
Alexandre Yakovlev
Published in:
Comput. Syst. Sci. Eng. (2001)
Keyphrases
</>
cryptographic protocols
model checking
multimedia