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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Vol/bind	7734
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	149-163
ISBN (Trykt)	978-3-642-35721-3
ISBN (Elektronisk)	978-3-642-35722-0
DOI	https://doi.org/10.1007/978-3-642-35722-0_11
Status	Udgivet - 2013
Begivenhed	Symposium on Logical Foundations of Computer Science - San Diego, California, USA Varighed: 6 jan. 2013 → 8 jan. 2013

Konference

Konference	Symposium on Logical Foundations of Computer Science
Land/Område	USA
By	San Diego, California
Periode	06/01/2013 → 08/01/2013

Navn	Lecture Notes in Computer Science
Vol/bind	7734
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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. i Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. bind 7734, Springer Publishing Company, Lecture Notes in Computer Science, bind 7734, s. 149-163, Symposium on Logical Foundations of Computer Science, San Diego, California, USA, 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. Bind 7734 Springer Publishing Company, 2013. s. 149-163 (Lecture Notes in Computer Science, Bind 7734).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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 -