%0 Conference Paper %1 conf/cbse/BenesDHKN15 %A Benes, Nikola %A Daca, Przemyslaw %A Henzinger, Thomas A. %A Kretínský, Jan %A Nickovic, Dejan %B CBSE %D 2015 %E Kruchten, Philippe %E Becker, Steffen %E Schneider, Jean-Guy %I ACM %K dblp %P 101-110 %T Complete Composition Operators for IOCO-Testing Theory. %U http://dblp.uni-trier.de/db/conf/cbse/cbse2015.html#BenesDHKN15 %@ 978-1-4503-3471-6

@inproceedings{conf/cbse/BenesDHKN15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Benes, Nikola and Daca, Przemyslaw and Henzinger, Thomas A. and Kretínský, Jan and Nickovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/2f1de85496b5eed82f2b8527e3d8c7d17/dblp}, booktitle = {CBSE}, crossref = {conf/cbse/2015}, editor = {Kruchten, Philippe and Becker, Steffen and Schneider, Jean-Guy}, ee = {https://doi.org/10.1145/2737166.2737175}, interhash = {8ee5979c87f8a8bbfec0adc4c25a996b}, intrahash = {f1de85496b5eed82f2b8527e3d8c7d17}, isbn = {978-1-4503-3471-6}, keywords = {dblp}, pages = {101-110}, publisher = {ACM}, timestamp = {2024-04-09T15:59:04.000+0200}, title = {Complete Composition Operators for IOCO-Testing Theory.}, url = {http://dblp.uni-trier.de/db/conf/cbse/cbse2015.html#BenesDHKN15}, year = 2015 }