Automatic synthesis of Markov models

M.J.M. Houtermans; J.K. Nieuwenhuizen; A.C. Brombacher

Automatic synthesis of Markov models

M.J.M. Houtermans, J.K. Nieuwenhuizen, A.C. Brombacher

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

51 Downloads (Pure)

Original language	English
Title of host publication	Probalistic safety assessment and management '96, ESREL '96 - PSAM-III, June 24-28, Crete, Greece, Vol. 2. - London : Springer, 1996. - 3-540-76051-2.
Editors	C. Cacciabue , I.A. Papazoglou
Pages	1348-1354
Publication status	Published - 1996

Access to Document

623185Final published version, 656 KB

Cite this

@inproceedings{6efa6e10ceb14394967038acbd597bde,

title = "Automatic synthesis of Markov models",

author = "M.J.M. Houtermans and J.K. Nieuwenhuizen and A.C. Brombacher",

year = "1996",

language = "English",

isbn = "3-540-76051-2",

pages = "1348--1354",

editor = "{Cacciabue }, C. and I.A. Papazoglou",

booktitle = "Probalistic safety assessment and management '96, ESREL '96 - PSAM-III, June 24-28, Crete, Greece, Vol. 2. - London : Springer, 1996. - 3-540-76051-2.",

}

Automatic synthesis of Markov models. / Houtermans, M.J.M.; Nieuwenhuizen, J.K.; Brombacher, A.C.
Probalistic safety assessment and management '96, ESREL '96 - PSAM-III, June 24-28, Crete, Greece, Vol. 2. - London : Springer, 1996. - 3-540-76051-2.. ed. / C. Cacciabue ; I.A. Papazoglou. 1996. p. 1348-1354.

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

TY - GEN

T1 - Automatic synthesis of Markov models

AU - Houtermans, M.J.M.

AU - Nieuwenhuizen, J.K.

AU - Brombacher, A.C.

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 3-540-76051-2

SP - 1348

EP - 1354

BT - Probalistic safety assessment and management '96, ESREL '96 - PSAM-III, June 24-28, Crete, Greece, Vol. 2. - London : Springer, 1996. - 3-540-76051-2.

A2 - Cacciabue , C.

A2 - Papazoglou, I.A.

ER -