Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.

Martin Zimmermann

doi:10.4204/EPTCS.193.11

Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Original language	English
Title of host publication	Proceedings GandALF 2015
Number of pages	14
Publication date	Sept 2015
Pages	144-157
DOIs	https://doi.org/10.4204/EPTCS.193.11
Publication status	Published - Sept 2015
Externally published	Yes

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

10.4204/EPTCS.193.11

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{0a0d1ef2638d4cd39022ecb2130b28b0,

title = "Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.",

author = "Martin Zimmermann",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2015",

month = sep,

doi = "10.4204/EPTCS.193.11",

language = "English",

pages = "144--157",

booktitle = "Proceedings GandALF 2015",

}

TY - GEN

T1 - Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.

AU - Zimmermann, Martin

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2015/9

Y1 - 2015/9

U2 - 10.4204/EPTCS.193.11

DO - 10.4204/EPTCS.193.11

M3 - Article in proceeding

SP - 144

EP - 157

BT - Proceedings GandALF 2015

ER -