Taking It to the Limit: Approximate Reasoning for Markov Processes

Kim Guldstrand Larsen; Radu Iulian Mardare; Prakash Panangaden

doi:10.1007/978-3-642-32589-2_59

Taking It to the Limit: Approximate Reasoning for Markov Processes

Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

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

18 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Redaktører	Branislav Rovan, Vladimiro Sassone, Peter Widmayer
Forlag	Springer
Publikationsdato	2012
Sider	681-692
ISBN (Trykt)	978-3-642-32588-5
ISBN (Elektronisk)	978-3-642-32589-2
DOI	https://doi.org/10.1007/978-3-642-32589-2_59
Status	Udgivet - 2012
Begivenhed	International Conference on Mathematical Foundations of Computer Science - Bratislava, Slovakiet Varighed: 27 aug. 2012 → 31 aug. 2012 Konferencens nummer: 37

Konference

Konference	International Conference on Mathematical Foundations of Computer Science
Nummer	37
Land/Område	Slovakiet
By	Bratislava
Periode	27/08/2012 → 31/08/2012

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

Adgang til dokumentet

10.1007/978-3-642-32589-2_59

Andre filer og links

Link to publication in Scopus

1 Afsluttet

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning

Citationsformater

Larsen, K. G., Mardare, R. I., & Panangaden, P. (2012). Taking It to the Limit: Approximate Reasoning for Markov Processes. I B. Rovan, V. Sassone, & P. Widmayer (red.), Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings (s. 681-692). Springer. Lecture Notes in Computer Science Bind 7464 https://doi.org/10.1007/978-3-642-32589-2_59

Larsen, Kim Guldstrand ; Mardare, Radu Iulian ; Panangaden, Prakash. / Taking It to the Limit : Approximate Reasoning for Markov Processes. Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. red. / Branislav Rovan ; Vladimiro Sassone ; Peter Widmayer. Springer, 2012. s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

@inproceedings{3fa0b03a46df4f949757bc75597e3fa6,

title = "Taking It to the Limit: Approximate Reasoning for Markov Processes",

author = "Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian} and Prakash Panangaden",

year = "2012",

doi = "10.1007/978-3-642-32589-2_59",

language = "English",

isbn = "978-3-642-32588-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "681--692",

editor = "Branislav Rovan and Vladimiro Sassone and Peter Widmayer",

booktitle = "Mathematical Foundations of Computer Science 2012",

address = "Germany",

note = "International Conference on Mathematical Foundations of Computer Science, MFCS 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

Larsen, KG, Mardare, RI & Panangaden, P 2012, Taking It to the Limit: Approximate Reasoning for Markov Processes. i B Rovan, V Sassone & P Widmayer (red), Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Springer, Lecture Notes in Computer Science, bind 7464, s. 681-692, International Conference on Mathematical Foundations of Computer Science, Bratislava, Slovakiet, 27/08/2012. https://doi.org/10.1007/978-3-642-32589-2_59

Taking It to the Limit : Approximate Reasoning for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.

Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. red. / Branislav Rovan; Vladimiro Sassone; Peter Widmayer. Springer, 2012. s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

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

TY - GEN

T1 - Taking It to the Limit

T2 - International Conference on Mathematical Foundations of Computer Science

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

AU - Panangaden, Prakash

N1 - Conference code: 37

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84865017471&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-32589-2_59

DO - 10.1007/978-3-642-32589-2_59

M3 - Article in proceeding

SN - 978-3-642-32588-5

T3 - Lecture Notes in Computer Science

SP - 681

EP - 692

BT - Mathematical Foundations of Computer Science 2012

A2 - Rovan, Branislav

A2 - Sassone, Vladimiro

A2 - Widmayer, Peter

PB - Springer

Y2 - 27 August 2012 through 31 August 2012

ER -

Larsen KG, Mardare RI, Panangaden P. Taking It to the Limit: Approximate Reasoning for Markov Processes. I Rovan B, Sassone V, Widmayer P, red., Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Springer. 2012. s. 681-692. (Lecture Notes in Computer Science, Bind 7464). doi: 10.1007/978-3-642-32589-2_59

Taking It to the Limit: Approximate Reasoning for Markov Processes

Konference

Adgang til dokumentet

Andre filer og links

Projekter

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Citationsformater