%0 Conference Paper %1 conf/rta/WinklerSMK10 %A Winkler, Sarah %A Sato, Haruhiko %A Middeldorp, Aart %A Kurihara, Masahito %B RTA %D 2010 %E Lynch, Christopher %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 373-384 %T Optimizing mkbTT. %U http://dblp.uni-trier.de/db/conf/rta/rta2010.html#WinklerSMK10 %V 6 %@ 978-3-939897-18-7

@inproceedings{conf/rta/WinklerSMK10, added-at = {2020-12-29T00:00:00.000+0100}, author = {Winkler, Sarah and Sato, Haruhiko and Middeldorp, Aart and Kurihara, Masahito}, biburl = {https://www.bibsonomy.org/bibtex/2d380342cfd376f6fec5adc132f0687d6/dblp}, booktitle = {RTA}, crossref = {conf/rta/2010}, editor = {Lynch, Christopher}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2010.373}, interhash = {9a61223144b4bf84de3d404b4918f0a4}, intrahash = {d380342cfd376f6fec5adc132f0687d6}, isbn = {978-3-939897-18-7}, keywords = {dblp}, pages = {373-384}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T21:06:27.000+0200}, title = {Optimizing mkbTT.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2010.html#WinklerSMK10}, volume = 6, year = 2010 }