%0 Conference Paper %1 conf/stacs/BustanKV04 %A Bustan, Doron %A Kupferman, Orna %A Vardi, Moshe Y. %B STACS %D 2004 %E Diekert, Volker %E Habib, Michel %I Springer %K dblp %P 522-533 %T A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2004.html#BustanKV04 %V 2996 %@ 3-540-21236-1

@inproceedings{conf/stacs/BustanKV04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Bustan, Doron and Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/23c949beffee9a0d6379a3d5cbe83d58c/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2004}, editor = {Diekert, Volker and Habib, Michel}, ee = {https://doi.org/10.1007/978-3-540-24749-4_46}, interhash = {78feb6fdbc1ae2aa530b978931a15379}, intrahash = {3c949beffee9a0d6379a3d5cbe83d58c}, isbn = {3-540-21236-1}, keywords = {dblp}, pages = {522-533}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:26:04.000+0200}, title = {A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2004.html#BustanKV04}, volume = 2996, year = 2004 }