Original languageUndefined
Title of host publicationProceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014
EditorsDimitra Giannakopoulou, Gwen Salaün
Place of PublicationLondon
PublisherSpringer Verlag
Pagesxv-xvii
Number of pages2
ISBN (Print)978-3-319-10430-0
DOIs
StatePublished - Sep 2014
Event12th International Conference on Software Engineering and Formal Methods, SEFM 2014 - Grenoble, France

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8702
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Software Engineering and Formal Methods, SEFM 2014
Abbreviated titleSEFM
CountryFrance
CityGrenoble
Period1/09/145/09/14

Keywords

  • EWI-25691
  • IR-94427
  • METIS-309875

Cite this

Katoen, J. P. (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 (pp. xv-xvii). (Lecture Notes in Computer Science; Vol. 8702). London: Springer Verlag. DOI: 10.1007/978-3-319-10431-7

Katoen, Joost P. / Model Checking Gigantic Markov Models.

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

Research output: ScientificConference contribution

@inbook{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",
year = "2014",
month = "9",
doi = "10.1007/978-3-319-10431-7",
isbn = "978-3-319-10430-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "xv--xvii",
editor = "Dimitra Giannakopoulou and Gwen Salaün",
booktitle = "Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014",

}

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 Verlag, London, pp. xv-xvii, 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, Grenoble, France, 1-5 September. DOI: 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 Verlag, 2014. p. xv-xvii (Lecture Notes in Computer Science; Vol. 8702).

Research output: ScientificConference contribution

TY - CHAP

T1 - Model Checking Gigantic Markov Models

AU - Katoen,Joost P.

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

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

PB - Springer Verlag

ER -

Katoen JP. Model Checking Gigantic Markov Models. In Giannakopoulou D, Salaün G, editors, Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. London: Springer Verlag. 2014. p. xv-xvii. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-10431-7