Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

H. Hermanns; J. Meyer-Kayser; M. Siegle

Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

H. Hermanns
, J. Meyer-Kayser
, M. Siegle

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

Original language	English
Title of host publication	Numerial Solution of Markov Chains (NSMC'99)
Subtitle of host publication	3rd international workshop, Zaragoza, Spain, September 1999
Editors	B. Plateau, W.J. Stewart, M. Silva
Place of Publication	Zaragoza, Spain
Publisher	Universidad de Zaragoza
Pages	188-207
Number of pages	20
ISBN (Print)	84-7733-512-5
Publication status	Published - 14 Feb 1999
Event	3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999 - Zaragossa, Spain Duration: 6 Sept 1999 → 10 Sept 1999 Conference number: 3

Workshop

Workshop	3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999
Abbreviated title	NSMC
Country/Territory	Spain
City	Zaragossa
Period	6/09/99 → 10/09/99

Keywords

FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
FMT-BDD: BINARY DECISION DIAGRAMS
Continuous-time Markov decision process (CTMDP)
FMT-PM: PROBABILISTIC METHODS
FMT-PA: PROCESS ALGEBRAS

Cite this

@inproceedings{f5436fd3cce04d3d93a928473089aad2,

title = "Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains",

keywords = "FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, FMT-BDD: BINARY DECISION DIAGRAMS, Continuous-time Markov decision process (CTMDP), FMT-PM: PROBABILISTIC METHODS, FMT-PA: PROCESS ALGEBRAS",

author = "H. Hermanns and J. Meyer-Kayser and M. Siegle",

year = "1999",

month = feb,

day = "14",

language = "English",

isbn = "84-7733-512-5",

pages = "188--207",

editor = "B. Plateau and W.J. Stewart and M. Silva",

booktitle = "Numerial Solution of Markov Chains (NSMC'99)",

publisher = "Universidad de Zaragoza",

address = "Spain",

note = "3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999, NSMC ; Conference date: 06-09-1999 Through 10-09-1999",

}

Hermanns, H, Meyer-Kayser, J & Siegle, M 1999, Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. in B Plateau, WJ Stewart & M Silva (eds), Numerial Solution of Markov Chains (NSMC'99): 3rd international workshop, Zaragoza, Spain, September 1999. Universidad de Zaragoza, Zaragoza, Spain, pp. 188-207, 3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999, Zaragossa, Spain, 6/09/99.

Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. / Hermanns, H.; Meyer-Kayser, J.; Siegle, M.
Numerial Solution of Markov Chains (NSMC'99): 3rd international workshop, Zaragoza, Spain, September 1999. ed. / B. Plateau; W.J. Stewart; M. Silva. Zaragoza, Spain: Universidad de Zaragoza, 1999. p. 188-207.

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

TY - GEN

T1 - Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

AU - Hermanns, H.

AU - Meyer-Kayser, J.

AU - Siegle, M.

N1 - Conference code: 3

PY - 1999/2/14

Y1 - 1999/2/14

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - FMT-BDD: BINARY DECISION DIAGRAMS

KW - Continuous-time Markov decision process (CTMDP)

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-PA: PROCESS ALGEBRAS

M3 - Conference contribution

SN - 84-7733-512-5

SP - 188

EP - 207

BT - Numerial Solution of Markov Chains (NSMC'99)

A2 - Plateau, B.

A2 - Stewart, W.J.

A2 - Silva, M.

PB - Universidad de Zaragoza

CY - Zaragoza, Spain

T2 - 3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999

Y2 - 6 September 1999 through 10 September 1999

ER -