APAC: A Tool for Reasoning about Abstract Probabilistic Automata

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Quantitative Evaluation of Systems (QEST), 2011 8th International Conference
Antal sider	2
Forlag	IEEE Computer Society Press
Publikationsdato	2011
Sider	151-152
ISBN (Trykt)	978-1-4577-0973-9
DOI	https://doi.org/10.1109/QEST.2011.28
Status	Udgivet - 2011

Adgang til dokumentet

@inproceedings{039f40d839a04aa3b76b99141937c6d8,

title = "APAC: A Tool for Reasoning about Abstract Probabilistic Automata",

author = "Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Andrzej Wasowski",

year = "2011",

doi = "10.1109/QEST.2011.28",

language = "English",

isbn = "978-1-4577-0973-9 ",

pages = "151--152",

booktitle = "Quantitative Evaluation of Systems (QEST), 2011 8th International Conference",

publisher = "IEEE Computer Society Press",

address = "United States",

}

APAC: A Tool for Reasoning about Abstract Probabilistic Automata. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel et al.
Quantitative Evaluation of Systems (QEST), 2011 8th International Conference. IEEE Computer Society Press, 2011. s. 151-152.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2011

Y1 - 2011

U2 - 10.1109/QEST.2011.28

DO - 10.1109/QEST.2011.28

M3 - Article in proceedings

SN - 978-1-4577-0973-9

SP - 151

EP - 152

BT - Quantitative Evaluation of Systems (QEST), 2011 8th International Conference

PB - IEEE Computer Society Press

ER -