|
rdfs:label
|
"Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1 thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 / ed. by A. Danthine, G. Leduc, P. Wolper"
|
|
schema:name
|
"Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1 thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993"
|