Editorial (Special Issue on the formal specification and the analysis of the `Tree Identify¿ protocol of the IEEE 1394 High Performance Serial Bus)

J. Cooke; S. Maharaj; J.M.T. Romijn; C. Shankland

doi:10.1007/s001650300000

Editorial (Special Issue on the formal specification and the analysis of the `Tree Identify¿ protocol of the IEEE 1394 High Performance Serial Bus)

J. Cooke
, S. Maharaj
, J.M.T. Romijn
, C. Shankland

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	199-
Journal	Formal Aspects of Computing
Volume	14
Issue number	3
DOIs	https://doi.org/10.1007/s001650300000
Publication status	Published - 2003

Access to Document

10.1007/s001650300000

Cite this

@article{5f77e97e27c94fc08ba411a1dee1b5cd,

title = "Editorial (Special Issue on the formal specification and the analysis of the `Tree Identify¿ protocol of the IEEE 1394 High Performance Serial Bus)",

author = "J. Cooke and S. Maharaj and J.M.T. Romijn and C. Shankland",

year = "2003",

doi = "10.1007/s001650300000",

language = "English",

volume = "14",

pages = "199--",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc.",

number = "3",

}

TY - JOUR

T1 - Editorial (Special Issue on the formal specification and the analysis of the `Tree Identify¿ protocol of the IEEE 1394 High Performance Serial Bus)

AU - Cooke, J.

AU - Maharaj, S.

AU - Romijn, J.M.T.

AU - Shankland, C.

PY - 2003

Y1 - 2003

U2 - 10.1007/s001650300000

DO - 10.1007/s001650300000

M3 - Article

SN - 0934-5043

VL - 14

SP - 199-

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -