CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Refining Constructive Hybrid Games

    Author
    Publication venue
    LIPIcs - Leibniz International Proceedings in Informatics. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
    Publication date
    Field of study
    Get PDF
    Dagstuhl Research Online Publication Server
    corecore