Abstract Probabilistic Automata

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

doi:10.1007/978-3-642-18275-4_23

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

34 Citationer (Scopus)

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6538
Sider (fra-til)	324-339
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-18275-4_23
Status	Udgivet - 2011
Begivenhed	12th International Conference, VMCAI 2011 - Austin, TX, USA Varighed: 23 jan. 2011 → 25 jan. 2011

Konference

Konference	12th International Conference, VMCAI 2011
Land/Område	USA
By	Austin, TX
Periode	23/01/2011 → 25/01/2011

Adgang til dokumentet

10.1007/978-3-642-18275-4_23

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{74ed08dac68c4bd89c04c69efe53a95a,

title = "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",

year = "2011",

doi = "10.1007/978-3-642-18275-4_23",

language = "English",

volume = "6538",

pages = "324--339",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

note = "12th International Conference, VMCAI 2011 ; Conference date: 23-01-2011 Through 25-01-2011",

}

TY - GEN

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

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-18275-4_23

DO - 10.1007/978-3-642-18275-4_23

M3 - Conference article in Journal

SN - 0302-9743

VL - 6538

SP - 324

EP - 339

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 12th International Conference, VMCAI 2011

Y2 - 23 January 2011 through 25 January 2011

ER -