Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic

  1. Verdejo, A.
  2. Pita, I.
  3. Martí-Oliet, N.
Zeitschrift:
Formal Aspects of Computing

ISSN: 0934-5043

Datum der Publikation: 2003

Ausgabe: 14

Nummer: 3

Seiten: 228-246

Art: Konferenz-Beitrag

DOI: 10.1007/S001650300003 GOOGLE SCHOLAR
Datenquelle: Scopus