Abstract Probabilistic Automata

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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

33 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6538
Pages (from-to)324-339
ISSN0302-9743
DOIs
Publication statusPublished - 2011
Event12th International Conference, VMCAI 2011 - Austin, TX, United States
Duration: 23 Jan 2011 → 25 Jan 2011

Conference

Conference12th International Conference, VMCAI 2011
CountryUnited States
CityAustin, TX
Period23/01/2011 → 25/01/2011

Cite this

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F., & Wasowski, A. (2011). Abstract Probabilistic Automata. Lecture Notes in Computer Science, 6538, 324-339. https://doi.org/10.1007/978-3-642-18275-4_23
Delahaye, Benoit ; Katoen, Joost-Pieter ; Larsen, Kim Guldstrand ; Legay, Axel ; Pedersen, Mikkel Larsen ; Sher, Falak ; Wasowski, Andrzej. / Abstract Probabilistic Automata. In: Lecture Notes in Computer Science. 2011 ; Vol. 6538. pp. 324-339.
@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",

}

Delahaye, B, Katoen, J-P, Larsen, KG, Legay, A, Pedersen, ML, Sher, F & Wasowski, A 2011, 'Abstract Probabilistic Automata', Lecture Notes in Computer Science, vol. 6538, pp. 324-339. https://doi.org/10.1007/978-3-642-18275-4_23

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

In: Lecture Notes in Computer Science, Vol. 6538, 2011, p. 324-339.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

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

VL - 6538

SP - 324

EP - 339

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

Delahaye B, Katoen J-P, Larsen KG, Legay A, Pedersen ML, Sher F et al. Abstract Probabilistic Automata. Lecture Notes in Computer Science. 2011;6538:324-339. https://doi.org/10.1007/978-3-642-18275-4_23

Access to Document