`Travelled to:`

2 × Germany

`Collaborated with:`

H.Hermanns J.Katoen M.Siegle

`Talks about:`

model (2) stochast (1) process (1) checker (1) algebra (1) toward (1) markov (1) check (1) chain (1)

## Person: Joachim Meyer-Kayser

### DBLP: Meyer-Kayser:Joachim

### Contributed to:

### Wrote 2 papers:

- IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards
- Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.
- TACAS-2000-HermannsKMS #markov #model checking
- A Markov Chain Model Checker (HH, JPK, JMK, MS), pp. 347–362.