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 tijdschriftTijdschriftartikelAcademicpeer review

    1 Citaat (Scopus)
    Originele taal-2Engels
    Pagina's (van-tot)199-
    TijdschriftFormal Aspects of Computing
    Volume14
    Nummer van het tijdschrift3
    DOI's
    StatusGepubliceerd - 2003

    Citeer dit