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: Hartonas-Garmhausen:Vasiliki
Contributed to:
1997
1996Wrote 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.