Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
ISSN: 0934-5043
Ano de publicación: 2003
Volume: 14
Número: 3
Páxinas: 228-246
Tipo: Achega congreso
ISSN: 0934-5043
Ano de publicación: 2003
Volume: 14
Número: 3
Páxinas: 228-246
Tipo: Achega congreso