Inproceedings,
Quantitative Automata under Probabilistic Semantics.
K. Chatterjee, T. Henzinger, and J. Otop.LICS, page 76-85. ACM, (2016)
Meta data
- BibTeX key
- conf/lics/ChatterjeeHO16
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2016
- pages
- 76-85
- publisher
- ACM
- crossref
- conf/lics/2016
- ee
- https://ieeexplore.ieee.org/document/8576389
- isbn
- 978-1-4503-4391-6
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2016.html#ChatterjeeHO16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/ChatterjeeHO16
%A Chatterjee, Krishnendu
%A Henzinger, Thomas A.
%A Otop, Jan
%B LICS
%D 2016
%E Grohe, Martin
%E Koskinen, Eric
%E Shankar, Natarajan
%I ACM
%K dblp
%P 76-85
%T Quantitative Automata under Probabilistic Semantics.
%U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#ChatterjeeHO16
%@ 978-1-4503-4391-6
@inproceedings{conf/lics/ChatterjeeHO16,
added-at = {2021-08-11T00:00:00.000+0200},
author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Otop, Jan},
biburl = {https://www.bibsonomy.org/bibtex/264b414a02349a97806b2d6ba944e08a3/dblp},
booktitle = {LICS},
crossref = {conf/lics/2016},
editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan},
ee = {https://ieeexplore.ieee.org/document/8576389},
interhash = {e87accbfc5f704637d524ef655d5e6bd},
intrahash = {64b414a02349a97806b2d6ba944e08a3},
isbn = {978-1-4503-4391-6},
keywords = {dblp},
pages = {76-85},
publisher = {ACM},
timestamp = {2024-04-10T20:03:35.000+0200},
title = {Quantitative Automata under Probabilistic Semantics.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#ChatterjeeHO16},
year = 2016
}