Travelled to:1 × Portugal
Collaborated with:J.Katoen T.Kemna D.N.Jansen
Talks about:probabilist (1) minimis (1) bisimul (1) speed (1) model (1) check (1) most (1) up (1)
Person: Ivan S. Zapreev
DBLP: Zapreev:Ivan_S=
Contributed to:
2007Wrote 1 papers:
- TACAS-2007-KatoenKZJ #bisimulation #model checking #probability
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.