%0 Conference Paper %1 conf/lpar/AminofKL08 %A Aminof, Benjamin %A Kupferman, Orna %A Lev, Omer %B LPAR %D 2008 %E Cervesato, Iliano %E Veith, Helmut %E Voronkov, Andrei %I Springer %K dblp %P 183-197 %T On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2008.html#AminofKL08 %V 5330 %@ 978-3-540-89438-4

@inproceedings{conf/lpar/AminofKL08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aminof, Benjamin and Kupferman, Orna and Lev, Omer}, biburl = {https://www.bibsonomy.org/bibtex/2670711b3e82680bf67d7de1e2310b9fd/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2008}, editor = {Cervesato, Iliano and Veith, Helmut and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-89439-1_14}, interhash = {50105884e255f42f00965dde323046d6}, intrahash = {670711b3e82680bf67d7de1e2310b9fd}, isbn = {978-3-540-89438-4}, keywords = {dblp}, pages = {183-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:36.000+0200}, title = {On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2008.html#AminofKL08}, volume = 5330, year = 2008 }