Stuttering for abstract probabilistic automata

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Journal of Logic and Algebraic Programming
Volume	83
Issue number	1
Pages (from-to)	1-19
ISSN	2352-2208
DOIs	https://doi.org/10.1016/j.jlap.2013.05.006
Publication status	Published - 2014

Access to Document

@inproceedings{7ab9c73ea0bb4b24b08d5f1c58080646,

title = "Stuttering for abstract probabilistic automata",

author = "Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay",

year = "2014",

doi = "10.1016/j.jlap.2013.05.006",

language = "English",

volume = "83",

pages = "1--19",

journal = "Journal of Logic and Algebraic Programming",

issn = "2352-2208",

publisher = "Elsevier",

number = "1",

}

TY - GEN

T1 - Stuttering for abstract probabilistic automata

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

PY - 2014

Y1 - 2014

U2 - 10.1016/j.jlap.2013.05.006

DO - 10.1016/j.jlap.2013.05.006

M3 - Conference article in Journal

SN - 2352-2208

VL - 83

SP - 1

EP - 19

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 1

ER -