Transition system specifications with negative premises

    Onderzoeksoutput: Boek/rapportRapportAcademic

    35 Citaten (Scopus)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Aantal pagina's26
    StatusGepubliceerd - 1990

    Publicatie series

    NaamCWI report. CS-R
    Volume8950
    ISSN van geprinte versie0169-118X

    Citeer dit