A tutorial on LOTOS

E. Brinksma

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProtocol Specification, Testing and Verification V (Proceedings IFIP WG6.1 5th International Conference, Toulouse-Moissac, France, June 10-13, 1985)
    UitgeverijNorth-Holland Publishing Company
    Pagina's171-194
    ISBN van geprinte versie0-444-87881-5
    StatusGepubliceerd - 1985

    Citeer dit