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:
2000
2000Wrote 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.