Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
ISSN: 0934-5043
Año de publicación: 2003
Volumen: 14
Número: 3
Páginas: 228-246
Tipo: Aportación congreso
ISSN: 0934-5043
Año de publicación: 2003
Volumen: 14
Número: 3
Páginas: 228-246
Tipo: Aportación congreso