%0 Conference Paper %1 conf/cav/HolikLRSV13 %A Holík, Lukás %A Lengál, Ondrej %A Rogalewicz, Adam %A Simácek, Jirí %A Vojnar, Tomás %B CAV %D 2013 %E Sharygina, Natasha %E Veith, Helmut %I Springer %K dblp %P 740-755 %T Fully Automated Shape Analysis Based on Forest Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav2013.html#HolikLRSV13 %V 8044 %@ 978-3-642-39798-1

@inproceedings{conf/cav/HolikLRSV13, added-at = {2020-10-25T00:00:00.000+0200}, author = {Holík, Lukás and Lengál, Ondrej and Rogalewicz, Adam and Simácek, Jirí and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/2dbacddff4f2b890122d1e341e6e64359/dblp}, booktitle = {CAV}, crossref = {conf/cav/2013}, editor = {Sharygina, Natasha and Veith, Helmut}, ee = {https://doi.org/10.1007/978-3-642-39799-8_52}, interhash = {cbc89748eab4308a9df885e26d30f33e}, intrahash = {dbacddff4f2b890122d1e341e6e64359}, isbn = {978-3-642-39798-1}, keywords = {dblp}, pages = {740-755}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:47.000+0200}, title = {Fully Automated Shape Analysis Based on Forest Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2013.html#HolikLRSV13}, volume = 8044, year = 2013 }