Model checking probabilistic systems against pushdown specifications

Clemens Dubslaff; Christel Baier; Manuela Berg

doi:10.1016/j.ipl.2012.01.006

Model checking probabilistic systems against pushdown specifications

Clemens Dubslaff, Christel Baier, Manuela Berg

Algorithms and Logics for Verification

Research output: Contribution to journal › Article › Academic › peer-review

4 Citations (Scopus)

Original language	English
Article number	8-9
Pages (from-to)	320-328
Number of pages	9
Journal	Information Processing Letters
Volume	112
Issue number	8-9
DOIs	https://doi.org/10.1016/j.ipl.2012.01.006
Publication status	Published - 2012

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.1016/j.ipl.2012.01.006

https://dblp.org/db/journals/ipl/ipl112.html#DubslaffBB12

Cite this

@article{6187636ac16f4d898a86283beb48b1af,

title = "Model checking probabilistic systems against pushdown specifications",

author = "Clemens Dubslaff and Christel Baier and Manuela Berg",

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 = "2012",

doi = "10.1016/j.ipl.2012.01.006",

language = "English",

volume = "112",

pages = "320--328",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "8-9",

}

TY - JOUR

T1 - Model checking probabilistic systems against pushdown specifications

AU - Dubslaff, Clemens

AU - Baier, Christel

AU - Berg, Manuela

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 - 2012

Y1 - 2012

U2 - 10.1016/j.ipl.2012.01.006

DO - 10.1016/j.ipl.2012.01.006

M3 - Article

SN - 0020-0190

VL - 112

SP - 320

EP - 328

JO - Information Processing Letters

JF - Information Processing Letters

IS - 8-9

M1 - 8-9

ER -