%0 Conference Paper %1 conf/birthday/GonenK15 %A Gonen, Hila %A Kupferman, Orna %B Fields of Logic and Computation II %D 2015 %E Beklemishev, Lev D. %E Blass, Andreas %E Dershowitz, Nachum %E Finkbeiner, Bernd %E Schulte, Wolfram %I Springer %K dblp %P 174-192 %T Inherent Vacuity in Lattice Automata. %U http://dblp.uni-trier.de/db/conf/birthday/gurevich2015.html#GonenK15 %V 9300 %@ 978-3-319-23533-2

@inproceedings{conf/birthday/GonenK15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Gonen, Hila and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/20153bbe0ba759c8283b947b09e9589aa/dblp}, booktitle = {Fields of Logic and Computation II}, crossref = {conf/birthday/2015gurevich}, editor = {Beklemishev, Lev D. and Blass, Andreas and Dershowitz, Nachum and Finkbeiner, Bernd and Schulte, Wolfram}, ee = {https://doi.org/10.1007/978-3-319-23534-9_10}, interhash = {871c4c0d94407bd30cc6e0ba93e5dc8e}, intrahash = {0153bbe0ba759c8283b947b09e9589aa}, isbn = {978-3-319-23533-2}, keywords = {dblp}, pages = {174-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:11.000+0200}, title = {Inherent Vacuity in Lattice Automata.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gurevich2015.html#GonenK15}, volume = 9300, year = 2015 }