New Results on Abstract Probabilistic Automata

Benoit Delahaye; Joost-Pieter Katoen; Axel Legay; Mikkel Larsen Pedersen; Falak Sher; Andrzej Wasowski

doi:10.1109/ACSD.2011.10

New Results on Abstract Probabilistic Automata

Benoit Delahaye, Joost-Pieter Katoen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Computer Science

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

Original language	English
Title of host publication	Application of Concurrency to System Design (ACSD) 2011 11th International Conference on
Publisher	IEEE Computer Society Press
Publication date	2011
Pages	118-127
ISBN (Print)	978-0-7695-4387-1
DOIs	https://doi.org/10.1109/ACSD.2011.10
Publication status	Published - 2011

Access to Document

10.1109/ACSD.2011.10

Cite this

@inproceedings{40bdf6b7d8b740ee8dfd330b20de15c2,

title = "New Results on Abstract Probabilistic Automata",

author = "Benoit Delahaye and Joost-Pieter Katoen and Axel Legay and Pedersen, {Mikkel Larsen} and Falak Sher and Andrzej Wasowski",

year = "2011",

doi = "10.1109/ACSD.2011.10",

language = "English",

isbn = "978-0-7695-4387-1",

pages = "118--127",

booktitle = "Application of Concurrency to System Design (ACSD) 2011 11th International Conference on",

publisher = "IEEE Computer Society Press",

address = "United States",

}

New Results on Abstract Probabilistic Automata. / Delahaye, Benoit; Katoen, Joost-Pieter; Legay, Axel et al.
Application of Concurrency to System Design (ACSD) 2011 11th International Conference on. IEEE Computer Society Press, 2011. p. 118-127.

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

TY - GEN

T1 - New Results on Abstract Probabilistic Automata

AU - Delahaye, Benoit

AU - Katoen, Joost-Pieter

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Sher, Falak

AU - Wasowski, Andrzej

PY - 2011

Y1 - 2011

U2 - 10.1109/ACSD.2011.10

DO - 10.1109/ACSD.2011.10

M3 - Article in proceedings

SN - 978-0-7695-4387-1

SP - 118

EP - 127

BT - Application of Concurrency to System Design (ACSD) 2011 11th International Conference on

PB - IEEE Computer Society Press

ER -