Stuttering for abstract probabilistic automata

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Algebraic Programming
Vol/bind	83
Udgave nummer	1
Sider (fra-til)	1-19
ISSN	2352-2208
DOI	https://doi.org/10.1016/j.jlap.2013.05.006
Status	Udgivet - 2014

Adgang til dokumentet

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