Transition system specifications with negative premises

    Research output: Book/ReportReportAcademic

    35 Citations (Scopus)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages26
    Publication statusPublished - 1990

    Publication series

    NameCWI report. CS-R
    Volume8950
    ISSN (Print)0169-118X

    Cite this