Construction of protocol converters using formal methods
Mohammad Peyravian, Chin-Tau LeaVolume:
16
Year:
1993
Language:
english
Pages:
14
DOI:
10.1016/0140-3664(93)90091-6
File:
PDF, 1.27 MB
english, 1993