New Results on Abstract Probabilistic Automata

Benoit Delahaye; Joost-Pieter Katoen; Kim Guldstrand Larsen; 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, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

16 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Proceedings of the International Conference on Application of Concurrency to System Design
Sider (fra-til)	118-127
ISSN	1550-4808
DOI	https://doi.org/10.1109/ACSD.2011.10
Status	Udgivet - 2011
Begivenhed	International Conference on Application of Concurrency to System Design - Newcastle Upon Tyne, Storbritannien Varighed: 20 jun. 2011 → 24 jun. 2011 Konferencens nummer: 11

Konference

Konference	International Conference on Application of Concurrency to System Design
Nummer	11
Land	Storbritannien
By	Newcastle Upon Tyne
Periode	20/06/2011 → 24/06/2011

Bibliografisk note

Proceedings. Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011). ISBN: 978-0-7695-4387-1.

Adgang til dokumentet

10.1109/ACSD.2011.10

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5988924

Citationsformater

@inproceedings{213931c5ac924a768e018fe8f5fdf5df,

title = "New Results on Abstract Probabilistic Automata",

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

note = "Proceedings. Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011). ISBN: 978-0-7695-4387-1.; null ; Conference date: 20-06-2011 Through 24-06-2011",

year = "2011",

doi = "10.1109/ACSD.2011.10",

language = "English",

pages = "118--127",

journal = "Proceedings of the International Conference on Application of Concurrency to System Design",

issn = "1550-4808",

publisher = "IEEE Communications Society",

}

New Results on Abstract Probabilistic Automata. / Delahaye, Benoit; Katoen, Joost-Pieter; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Sher, Falak; Wasowski, Andrzej.

I: Proceedings of the International Conference on Application of Concurrency to System Design, 2011, s. 118-127.

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

TY - GEN

T1 - New Results on Abstract Probabilistic Automata

AU - Delahaye, Benoit

AU - Katoen, Joost-Pieter

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Sher, Falak

AU - Wasowski, Andrzej

N1 - Conference code: 11

PY - 2011

Y1 - 2011

U2 - 10.1109/ACSD.2011.10

DO - 10.1109/ACSD.2011.10

M3 - Conference article in Journal

SP - 118

EP - 127

JO - Proceedings of the International Conference on Application of Concurrency to System Design

JF - Proceedings of the International Conference on Application of Concurrency to System Design

SN - 1550-4808

Y2 - 20 June 2011 through 24 June 2011

ER -