Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
ISSN: 0934-5043
Any de publicació: 2003
Volum: 14
Número: 3
Pàgines: 228-246
Tipus: Aportació congrés
ISSN: 0934-5043
Any de publicació: 2003
Volum: 14
Número: 3
Pàgines: 228-246
Tipus: Aportació congrés