%0 Conference Paper %1 conf/tacas/FogartyV09 %A Fogarty, Seth %A Vardi, Moshe Y. %B TACAS %D 2009 %E Kowalewski, Stefan %E Philippou, Anna %I Springer %K dblp %P 16-30 %T Büchi Complementation and Size-Change Termination. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#FogartyV09 %V 5505 %@ 978-3-642-00767-5

@inproceedings{conf/tacas/FogartyV09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Fogarty, Seth and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/21e65dc8ea59d50d2ccc89b840bc7eab8/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2009}, editor = {Kowalewski, Stefan and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-642-00768-2_2}, interhash = {9cbbdc78100e744ab522dc027713d0ca}, intrahash = {1e65dc8ea59d50d2ccc89b840bc7eab8}, isbn = {978-3-642-00767-5}, keywords = {dblp}, pages = {16-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:06.000+0200}, title = {Büchi Complementation and Size-Change Termination.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#FogartyV09}, volume = 5505, year = 2009 }