Stuttering for Abstract Probabilistic Automata

Benoit Delahaye; Kim Guldstrand Larsen; Axel Legay

doi:10.1007/978-3-642-35722-0_11

Stuttering for Abstract Probabilistic Automata

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Volume	7734
Publisher	Springer Publishing Company
Publication date	2013
Pages	149-163
ISBN (Print)	978-3-642-35721-3
ISBN (Electronic)	978-3-642-35722-0
DOIs	https://doi.org/10.1007/978-3-642-35722-0_11
Publication status	Published - 2013
Event	Symposium on Logical Foundations of Computer Science - San Diego, California, United States Duration: 6 Jan 2013 → 8 Jan 2013

Conference

Conference	Symposium on Logical Foundations of Computer Science
Country/Territory	United States
City	San Diego, California
Period	06/01/2013 → 08/01/2013

Series	Lecture Notes in Computer Science
Volume	7734
ISSN	0302-9743

Access to Document

10.1007/978-3-642-35722-0_11

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{271949d098884f2f81b98e6936817167,

title = "Stuttering for Abstract Probabilistic Automata",

author = "Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay",

year = "2013",

doi = "10.1007/978-3-642-35722-0_11",

language = "English",

isbn = "978-3-642-35721-3",

volume = "7734",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "149--163",

booktitle = "Logical Foundations of Computer Science",

address = "United States",

note = "Symposium on Logical Foundations of Computer Science, LFCS 2013 ; Conference date: 06-01-2013 Through 08-01-2013",

}

Delahaye, B, Larsen, KG & Legay, A 2013, Stuttering for Abstract Probabilistic Automata. in Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. vol. 7734, Springer Publishing Company, Lecture Notes in Computer Science, vol. 7734, pp. 149-163, Symposium on Logical Foundations of Computer Science, San Diego, California, United States, 06/01/2013. https://doi.org/10.1007/978-3-642-35722-0_11

Stuttering for Abstract Probabilistic Automata. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel.
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Vol. 7734 Springer Publishing Company, 2013. p. 149-163 (Lecture Notes in Computer Science, Vol. 7734).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Stuttering for Abstract Probabilistic Automata

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-35722-0_11

DO - 10.1007/978-3-642-35722-0_11

M3 - Article in proceeding

SN - 978-3-642-35721-3

VL - 7734

T3 - Lecture Notes in Computer Science

SP - 149

EP - 163

BT - Logical Foundations of Computer Science

PB - Springer Publishing Company

T2 - Symposium on Logical Foundations of Computer Science

Y2 - 6 January 2013 through 8 January 2013

ER -