`Travelled to:`

2 × United Kingdom

`Collaborated with:`

D.Beauquier ∅ A.M.Rabinovich

`Talks about:`

algorithm (2) model (2) logic (2) check (2) time (2) railroad (1) question (1) problem (1) probabl (1) languag (1)

## Person: Anatol Slissenko

### DBLP: Slissenko:Anatol

### Contributed to:

### Wrote 3 papers:

- CSL-2005-Slissenko #algorithm #logic #verification
- Verification in Predicate Logic with Time: Algorithmic Questions (AS), pp. 3–17.
- CSL-2002-BeauquierRS #decidability #logic #model checking #probability
- A Logic of Probability with Decidable Model-Checking (DB, AMR, AS), pp. 306–321.
- TAPSOFT-1997-BeauquierS #algorithm #model checking #problem #semantics #towards
- The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages (DB, AS), pp. 201–212.