New Results on Abstract Probabilistic Automata

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

Originalsprog	Engelsk
Titel	Application of Concurrency to System Design (ACSD) 2011 11th International Conference on
Forlag	IEEE
Publikationsdato	2011
Sider	118-127
ISBN (Trykt)	978-0-7695-4387-1
DOI	https://doi.org/10.1109/ACSD.2011.10
Status	Udgivet - 2011

Adgang til dokumentet

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