Normal view MARC view

Communication Protocol (Topical Term)

Number of records used in: 6
Preferred form: Communication Protocol

Machine generated authority record

Work cat.: (NEDUET)745374: Chetali, Boutheina 780804, Formal Verification of Concurrent Programs UsingLarch Prover