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

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 Computer Society Press
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

10.1109/ACSD.2011.10

Citationsformater

@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. s. 118-127.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -