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 Proceedings › Conference Proceedings with Oral Presentation › peer-review

Conference	CBSE 2015
Period	4/05/15 → 8/05/15

Research Field

@inproceedings{9de4b5d6083c4a8f9185fe6893e1a2a6,

title = "Complete Composition Operators for IOCO-Testing Theory",

author = "Nikola Benes and Przemyslaw Daca and Thomas Henzinger and Jan Kretinsky and Dejan Nickovic",

year = "2015",

language = "English",

isbn = "978-1-4503-3471-6",

pages = "101--110",

booktitle = "Proceedings of the CBSE",

note = "CBSE 2015 ; Conference date: 04-05-2015 Through 08-05-2015",

}

TY - GEN

T1 - Complete Composition Operators for IOCO-Testing Theory

AU - Benes, Nikola

AU - Daca, Przemyslaw

AU - Henzinger, Thomas

AU - Kretinsky, Jan

A2 - Nickovic, Dejan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-3471-6

SP - 101

EP - 110

BT - Proceedings of the CBSE

T2 - CBSE 2015

Y2 - 4 May 2015 through 8 May 2015

ER -