New Results on Abstract Probabilistic Automata

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
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

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

address = "United States",

}

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

ER -