BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
Collaborated with:
E.M.Clarke K.L.McMillan S.V.A.Campos C.Baier M.Z.Kwiatkowska M.Ryan
Talks about:
symbol (2) model (2) check (2) probabilist (1) process (1)

Person: Vasiliki Hartonas-Garmhausen

DBLP DBLP: Hartonas-Garmhausen:Vasiliki

Contributed to:

ICALP 19971997
CAV 19961996

Wrote 2 papers:

ICALP-1997-BaierCHKR #model checking #probability #process
Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
CAV-1996-ClarkeMCH #model checking
Symbolic Model Checking (EMC, KLM, SVAC, VHG), pp. 419–427.

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.