| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Dobrushin Mathematics Laboratory Seminar
|
|||
|
|
|||
|
Temporal logics V. B. Shehtman Moscow Institute of Physics and Technology (National Research University), Dolgoprudny, Moscow Region |
|||