%0 Conference Paper %1 conf/concur/ChatterjeeHO17 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Otop, Jan %B CONCUR %D 2017 %E Meyer, Roland %E Nestmann, Uwe %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 5:1-5:16 %T Bidirectional Nested Weighted Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2017.html#ChatterjeeHO17 %V 85 %@ 978-3-95977-048-4

@inproceedings{conf/concur/ChatterjeeHO17, added-at = {2019-09-16T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Otop, Jan}, biburl = {https://www.bibsonomy.org/bibtex/236aec0033c09763c8897d4cbdf379aa2/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2017}, editor = {Meyer, Roland and Nestmann, Uwe}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.5}, interhash = {fe0ef4080277fa3d3175727ee0f08ae9}, intrahash = {36aec0033c09763c8897d4cbdf379aa2}, isbn = {978-3-95977-048-4}, keywords = {dblp}, pages = {5:1-5:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:39.000+0100}, title = {Bidirectional Nested Weighted Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2017.html#ChatterjeeHO17}, volume = 85, year = 2017 }