BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Meyer-Kayser:Joachim

Contributed to:

IFM 20002000
TACAS 20002000

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.