%0 Conference Paper %1 conf/vmcai/HolikHLRV17 %A Holík, Lukás %A Hruska, Martin %A Lengál, Ondrej %A Rogalewicz, Adam %A Vojnar, Tomás %B VMCAI %D 2017 %E Bouajjani, Ahmed %E Monniaux, David %I Springer %K dblp %P 288-309 %T Counterexample Validation and Interpolation-Based Refinement for Forest Automata. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#HolikHLRV17 %V 10145 %@ 978-3-319-52233-3

@inproceedings{conf/vmcai/HolikHLRV17, added-at = {2020-10-25T00:00:00.000+0200}, author = {Holík, Lukás and Hruska, Martin and Lengál, Ondrej and Rogalewicz, Adam and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/238de662ee2d95f621fea61542d0ec416/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2017}, editor = {Bouajjani, Ahmed and Monniaux, David}, ee = {https://doi.org/10.1007/978-3-319-52234-0_16}, interhash = {91242640b1148f12b40a8e1621cc3e3c}, intrahash = {38de662ee2d95f621fea61542d0ec416}, isbn = {978-3-319-52233-3}, keywords = {dblp}, pages = {288-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {Counterexample Validation and Interpolation-Based Refinement for Forest Automata.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#HolikHLRV17}, volume = 10145, year = 2017 }