Originele taal-2 | Engels |
---|---|
Pagina's (van-tot) | 199- |
Tijdschrift | Formal Aspects of Computing |
Volume | 14 |
Nummer van het tijdschrift | 3 |
DOI's | |
Status | Gepubliceerd - 2003 |
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
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
1
Citaat
(Scopus)