Complete Composition Operators for IOCO-Testing Theory

Nikola Benes, Przemyslaw Daca, Thomas Henzinger, Jan Kretinsky, Dejan Nickovic (Speaker)

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the CBSE
    Number of pages10
    Publication statusPublished - 2015
    EventCBSE 2015 -
    Duration: 4 May 20158 May 2015


    ConferenceCBSE 2015

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this