CORE

đŸ‡ºđŸ‡¦Â Â  make metadata, not war

    2 research outputs found

    Classification-based parameter synthesis for parametric timed automata

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    National Research Foundation (NRF) Singapor
    Crossref
    Institutional Knowledge at Singapore Management University
    corecore