APAC: A tool for Reasoning about Abstract Probabilistic Automata

Benoît Delahaye, Kim Guldstrand Larsen, Alex Legay, Mikkel L. Pedersen, Andrzej Wasowski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

8 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011
Antal sider2
ForlagIEEE Computer Society Press
Publikationsdato1 jan. 2011
Sider151-152
ISBN (Trykt)978-0-7695-4491-5
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed8th International Conference on Quantitative Evaluation of Systems - Aachen, Tyskland
Varighed: 5 sep. 20118 sep. 2011
Konferencens nummer: 8

Konference

Konference8th International Conference on Quantitative Evaluation of Systems
Nummer8
LandTyskland
ByAachen
Periode05/09/201108/09/2011

Fingerprint

Specifications

Citer dette

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L., & Wasowski, A. (2011). APAC: A tool for Reasoning about Abstract Probabilistic Automata. I Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011 (s. 151-152). IEEE Computer Society Press. https://doi.org/10.1109/QEST.2011.28
Delahaye, Benoît ; Larsen, Kim Guldstrand ; Legay, Alex ; Pedersen, Mikkel L. ; Wasowski, Andrzej. / APAC: A tool for Reasoning about Abstract Probabilistic Automata. Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, 2011. s. 151-152
@inbook{e66195f837954658b6a3194847d75c4f,
title = "APAC: A tool for Reasoning about Abstract Probabilistic Automata",
author = "Beno{\^i}t Delahaye and Larsen, {Kim Guldstrand} and Alex Legay and Pedersen, {Mikkel L.} and Andrzej Wasowski",
year = "2011",
month = "1",
day = "1",
doi = "10.1109/QEST.2011.28",
language = "English",
isbn = "978-0-7695-4491-5",
pages = "151--152",
booktitle = "Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011",
publisher = "IEEE Computer Society Press",
address = "United States",

}

Delahaye, B, Larsen, KG, Legay, A, Pedersen, ML & Wasowski, A 2011, APAC: A tool for Reasoning about Abstract Probabilistic Automata. i Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, s. 151-152, 8th International Conference on Quantitative Evaluation of Systems, Aachen, Tyskland, 05/09/2011. https://doi.org/10.1109/QEST.2011.28

APAC: A tool for Reasoning about Abstract Probabilistic Automata. / Delahaye, Benoît; Larsen, Kim Guldstrand; Legay, Alex; Pedersen, Mikkel L.; Wasowski, Andrzej.

Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, 2011. s. 151-152.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

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

AU - Delahaye, Benoît

AU - Larsen, Kim Guldstrand

AU - Legay, Alex

AU - Pedersen, Mikkel L.

AU - Wasowski, Andrzej

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?scp=80055051221&partnerID=8YFLogxK

U2 - 10.1109/QEST.2011.28

DO - 10.1109/QEST.2011.28

M3 - Book chapter

AN - SCOPUS:80055051221

SN - 978-0-7695-4491-5

SP - 151

EP - 152

BT - Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011

PB - IEEE Computer Society Press

ER -

Delahaye B, Larsen KG, Legay A, Pedersen ML, Wasowski A. APAC: A tool for Reasoning about Abstract Probabilistic Automata. I Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press. 2011. s. 151-152 https://doi.org/10.1109/QEST.2011.28