English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Robust, expressive, and quantitative linear temporal logics: Pick any two for free

Neider, D., Weinert, A., & Zimmermann, M. (2022). Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation, 285(B): 104810. doi:10.1016/j.ic.2021.104810.

Item is

Basic

show hide
Genre: Journal Article
Latex : Robust, expressive, and quantitative linear temporal logics: {P}ick any two for free

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Neider, Daniel1, Author           
Weinert, Alexander2, Author
Zimmermann, Martin2, Author
Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2022
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Neider22
DOI: 10.1016/j.ic.2021.104810
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Information and Computation
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Amsterdam : Elsevier
Pages: - Volume / Issue: 285 (B) Sequence Number: 104810 Start / End Page: - Identifier: ISSN: 0890-5401
CoNE: https://pure.mpg.de/cone/journals/resource/954928487323