Model Checking Gigantic Markov Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Duration: 1 Sep 20145 Sep 2014
Conference number: 12

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. editor / Dimitra Giannakopoulou ; Gwen Salaün. London : Springer Verlag, 2014. pp. xv-xvii (Lecture Notes in Computer Science).
@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",
year = "2014",
month = "9",
doi = "10.1007/978-3-319-10431-7",
language = "Undefined",
isbn = "978-3-319-10430-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
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 Verlag, London, pp. xv-xvii, 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, Grenoble, France, 1/09/14. 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: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

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

CY - London

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