The meaning of negative premises in transition system specifications

R.N. Bol, J.F. Groote

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publicationAutomata, Languages and Programming (Proceedings 18th International Colloquium, ICALP'91, Madrid, Spain, July 8-12, 1991)
    EditorsJ. Leach Albert, B. Monien, M. Rodriguez-Artalejo
    Place of PublicationBerlin
    PublisherSpringer
    Pages481-494
    ISBN (Print)3-540-54233-7
    Publication statusPublished - 1991

    Publication series

    NameLecture Notes in Computer Science
    Volume510
    ISSN (Print)0302-9743

    Cite this