Description and formal specification of the link layer of p1394

Authors
  • S.P. Luttik
Publication date 1997
Host editors
  • I. Lovrek
Book title Proceedings of the 2nd International Workshop on Applied Formal Methods in System Design
Pages (from-to) 43-56
Publisher Croatia: University of Zagreb
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back