Quantitative languages
- Chatterjee, Krishnendu IST Austria (Institute of Science and Technology Austria)
- Doyen, Laurent LSV, ENS Cachan and CNRS, France, Cachan, France
- Henzinger, Thomas A. IST Austria (Institute of Science and Technology Austria) and EPFL, Switzerland, Lausanne, Switzerland
Published in:
- ACM Transactions on Computational Logic. - Association for Computing Machinery (ACM). - 2010, vol. 11, no. 4, p. 1-38
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/1805950.1805953
- ISSN 1529-3785
- Persistent URL
- https://sonar.ch/global/documents/48673
Export to…
Statistics
Document views: 75
File downloads:
- Full-text: 0