Transition system specifications with negative premises (Extended abstract)

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelCONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)
    RedacteurenJ.C.M. Baeten, J.W. Klop
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's332-341
    ISBN van geprinte versie3-540-53048-7
    StatusGepubliceerd - 1990

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume458
    ISSN van geprinte versie0302-9743

    Citeer dit