APAC: A Tool for Reasoning about Abstract Probabilistic Automata

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Quantitative Evaluation of Systems (QEST), 2011 8th International Conference
Number of pages	2
Publisher	IEEE
Publication date	2011
Pages	151-152
ISBN (Print)	978-1-4577-0973-9
DOIs	https://doi.org/10.1109/QEST.2011.28
Publication status	Published - 2011

Access to Document

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

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

address = "United States",

}

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

ER -