%0 Conference Paper %1 conf/dagstuhl/AbdullaBCHJR08 %A Abdulla, Parosh Aziz %A Bouajjani, Ahmed %A Cederberg, Jonathan %A Haziza, Frédéric %A Ji, Ran %A Rezine, Ahmed %B Beyond the Finite: New Challenges in Verification and Semistructured Data %D 2008 %E Muscholl, Anca %E Ramanujam, Ramaswamy %E Rusinowitch, Michaël %E Schwentick, Thomas %E Vianu, Victor %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T Shape Analysis via Monotonic Abstraction. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8171.html#AbdullaBCHJR08 %V 08171

@inproceedings{conf/dagstuhl/AbdullaBCHJR08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Cederberg, Jonathan and Haziza, Frédéric and Ji, Ran and Rezine, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/2168a1dbc3c5f5af239e2fd677b613745/dblp}, booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured Data}, crossref = {conf/dagstuhl/2008P8171}, editor = {Muscholl, Anca and Ramanujam, Ramaswamy and Rusinowitch, Michaël and Schwentick, Thomas and Vianu, Victor}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1559/}, interhash = {3b8a3527404bb6ac89b25767251c506c}, intrahash = {168a1dbc3c5f5af239e2fd677b613745}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:43.000+0200}, title = {Shape Analysis via Monotonic Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8171.html#AbdullaBCHJR08}, volume = 08171, year = 2008 }