Refinement and Difference for Probabilistic Automata

Kim Guldstrand Larsen, Benoit Delahaye, Uli Fahrenberg, Axel Legay

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

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	10
Udgave nummer	3
Sider (fra-til)	1-32
ISSN	1860-5974
DOI	https://doi.org/10.2168/LMCS-10(3:11)2014
Status	Udgivet - 28 feb. 2014

Adgang til dokumentet

@inproceedings{d7b78fa0d04a49419fb598b5ada7055c,

title = "Refinement and Difference for Probabilistic Automata",

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

year = "2014",

month = feb,

day = "28",

doi = "10.2168/LMCS-10(3:11)2014",

language = "English",

volume = "10",

pages = "1--32",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "3",

}

TY - GEN

T1 - Refinement and Difference for Probabilistic Automata

AU - Larsen, Kim Guldstrand

AU - Delahaye, Benoit

AU - Fahrenberg, Uli

AU - Legay, Axel

PY - 2014/2/28

Y1 - 2014/2/28

U2 - 10.2168/LMCS-10(3:11)2014

DO - 10.2168/LMCS-10(3:11)2014

M3 - Conference article in Journal

SN - 1860-5974

VL - 10

SP - 1

EP - 32

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 3

ER -