Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/tase/BauerJLSL12
%A Bauer, Sebastian S.
%A Juhl, Line
%A Larsen, Kim G.
%A Srba, Jirí
%A Legay, Axel
%B TASE
%D 2012
%E Margaria, Tiziana
%E Qiu, Zongyan
%E Yang, Hongli
%I IEEE Computer Society
%K dblp
%P 77-84
%T A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.
%U http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BauerJLSL12
%@ 978-0-7695-4751-0
@inproceedings{conf/tase/BauerJLSL12,
added-at = {2014-12-01T00:00:00.000+0100},
author = {Bauer, Sebastian S. and Juhl, Line and Larsen, Kim G. and Srba, Jirí and Legay, Axel},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a5d381330c2226764abdc81e13bd35e6/dblp},
booktitle = {TASE},
crossref = {conf/tase/2012},
editor = {Margaria, Tiziana and Qiu, Zongyan and Yang, Hongli},
ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.9},
interhash = {fb64f6d0fbaa2c7f1c71e20d843fb223},
intrahash = {a5d381330c2226764abdc81e13bd35e6},
isbn = {978-0-7695-4751-0},
keywords = {dblp},
pages = {77-84},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T14:52:39.000+0100},
title = {A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.},
url = {http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BauerJLSL12},
year = 2012
}