au.\*:("HOLZMANN GJ")
Results 1 to 1 of 1
Selection :
A THEORY FOR PROTOCOL VALIDATIONHOLZMANN GJ.1982; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1982; VOL. 31; NO 8; PP. 730-738; BIBL. 13 REF.Article