I/O Automaton Models and Proofs for Shared-Key Communication Systems

• Authors:

• N. Lynch

• Affiliations:

• -

• Venue:
• I/O Automaton Models and Proofs for Shared-Key Communication Systems
• Year:
• 1999