%0 Conference Paper %1 conf/tamc/ZhuPV19 %A Zhu, Shufang %A Pu, Geguang %A Vardi, Moshe Y. %B TAMC %D 2019 %E Gopal, T. V. %E Watada, Junzo %I Springer %K dblp %P 684-705 %T First-Order vs. Second-Order Encodings for ltl_f -to-Automata Translation. %U http://dblp.uni-trier.de/db/conf/tamc/tamc2019.html#ZhuPV19 %V 11436 %@ 978-3-030-14812-6

@inproceedings{conf/tamc/ZhuPV19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zhu, Shufang and Pu, Geguang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/266741d519cd5eb69e958ebaba865fa91/dblp}, booktitle = {TAMC}, crossref = {conf/tamc/2019}, editor = {Gopal, T. V. and Watada, Junzo}, ee = {https://doi.org/10.1007/978-3-030-14812-6_43}, interhash = {76d52b4902742ca8af0f3fe9378f1b3d}, intrahash = {66741d519cd5eb69e958ebaba865fa91}, isbn = {978-3-030-14812-6}, keywords = {dblp}, pages = {684-705}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:43:38.000+0200}, title = {First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation.}, url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2019.html#ZhuPV19}, volume = 11436, year = 2019 }