%0 Conference Paper %1 conf/icfem/MochizukiSHY14 %A Mochizuki, Shohei %A Shimakawa, Masaya %A Hagihara, Shigeki %A Yonezaki, Naoki %B ICFEM %D 2014 %E Merz, Stephan %E Pang, Jun %I Springer %K dblp %P 364-379 %T Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2014.html#MochizukiSHY14 %V 8829 %@ 978-3-319-11736-2

@inproceedings{conf/icfem/MochizukiSHY14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Mochizuki, Shohei and Shimakawa, Masaya and Hagihara, Shigeki and Yonezaki, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2ab7440185d675b0284c343c408e65f9b/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2014}, editor = {Merz, Stephan and Pang, Jun}, ee = {https://doi.org/10.1007/978-3-319-11737-9_24}, interhash = {6d8e42b1893fb94a5aa5fad7f8f90c59}, intrahash = {ab7440185d675b0284c343c408e65f9b}, isbn = {978-3-319-11736-2}, keywords = {dblp}, pages = {364-379}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-03T11:38:03.000+0200}, title = {Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2014.html#MochizukiSHY14}, volume = 8829, year = 2014 }