Model Checking Gigantic Markov Models

Joost P. Katoen

doi:10.1007/978-3-319-10431-7

Model Checking Gigantic Markov Models

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

153 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014
Editors	Dimitra Giannakopoulou, Gwen Salaün
Place of Publication	London
Publisher	Springer
Pages	xv-xvii
Number of pages	2
ISBN (Print)	978-3-319-10430-0
DOIs	https://doi.org/10.1007/978-3-319-10431-7
Publication status	Published - Sept 2014
Event	12th International Conference on Software Engineering and Formal Methods, SEFM 2014 - Grenoble, France Duration: 1 Sept 2014 → 5 Sept 2014 Conference number: 12

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	8702
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Software Engineering and Formal Methods, SEFM 2014
Abbreviated title	SEFM
Country/Territory	France
City	Grenoble
Period	1/09/14 → 5/09/14

Keywords

EWI-25691
IR-94427
METIS-309875

Access to Document

10.1007/978-3-319-10431-7

Cite this

@inproceedings{27db68365cc04952b1add39b0311c090,

title = "Model Checking Gigantic Markov Models",

keywords = "EWI-25691, IR-94427, METIS-309875",

author = "Katoen, {Joost P.}",

note = "10.1007/978-3-319-10431-7 ; 12th International Conference on Software Engineering and Formal Methods, SEFM 2014 ; Conference date: 01-09-2014 Through 05-09-2014",

year = "2014",

month = sep,

doi = "10.1007/978-3-319-10431-7",

language = "Undefined",

isbn = "978-3-319-10430-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "xv--xvii",

editor = "Dimitra Giannakopoulou and Gwen Sala{\"u}n",

booktitle = "Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014",

address = "Germany",

}

Katoen, JP 2014, Model Checking Gigantic Markov Models. in D Giannakopoulou & G Salaün (eds), Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. Lecture Notes in Computer Science, vol. 8702, Springer, London, pp. xv-xvii, 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, Grenoble, France, 1/09/14. https://doi.org/10.1007/978-3-319-10431-7

Model Checking Gigantic Markov Models. / Katoen, Joost P.
Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. ed. / Dimitra Giannakopoulou; Gwen Salaün. London: Springer, 2014. p. xv-xvii (Lecture Notes in Computer Science; Vol. 8702).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Model Checking Gigantic Markov Models

AU - Katoen, Joost P.

N1 - Conference code: 12

PY - 2014/9

Y1 - 2014/9

KW - EWI-25691

KW - IR-94427

KW - METIS-309875

U2 - 10.1007/978-3-319-10431-7

DO - 10.1007/978-3-319-10431-7

M3 - Conference contribution

SN - 978-3-319-10430-0

T3 - Lecture Notes in Computer Science

SP - xv-xvii

BT - Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014

A2 - Giannakopoulou, Dimitra

A2 - Salaün, Gwen

PB - Springer

CY - London

T2 - 12th International Conference on Software Engineering and Formal Methods, SEFM 2014

Y2 - 1 September 2014 through 5 September 2014

ER -