CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Context-Bounded Verification of Context-Free Specifications

    Author
    Publication venue
    'Association for Computing Machinery (ACM)'
    Publication date
    Field of study
    Get PDF

    36th International Symposium on Theoretical Aspects of Computer Science: STACS 2019, March 13-16, 2019, Berlin, Germany

    Author
    Publication venue
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
    Publication date
    Field of study
    Get PDF
    corecore