%0 Book Section %1 maurer2006weighted %A Mäurer, Ina %B STACS 2006 %D 2006 %I Springer %K 2013 automata logics picture weighted %P 313--324 %T Weighted picture automata and weighted logics %U http://scholar.google.de/scholar.bib?q=info:ShBMa8HmcpEJ:scholar.google.com/&output=citation&scisig=AAGBfm0AAAAAUosiWfbpYBDVWvt6QY13nTrhearCcO6m&scisf=4&hl=de

@incollection{maurer2006weighted, added-at = {2013-11-19T09:24:05.000+0100}, author = {M{\"a}urer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/2feb0ff413c2fe8d501d385afa30ee595/s_6wg2xw}, booktitle = {STACS 2006}, interhash = {dc96c8b17f341f1241581875d4b55562}, intrahash = {feb0ff413c2fe8d501d385afa30ee595}, keywords = {2013 automata logics picture weighted}, pages = {313--324}, publisher = {Springer}, timestamp = {2013-11-19T09:24:05.000+0100}, title = {Weighted picture automata and weighted logics}, url = {http://scholar.google.de/scholar.bib?q=info:ShBMa8HmcpEJ:scholar.google.com/&output=citation&scisig=AAGBfm0AAAAAUosiWfbpYBDVWvt6QY13nTrhearCcO6m&scisf=4&hl=de}, year = 2006 }