|
|
Університет Mасарика
Українська
Čeština
English
Čeština
English
Університет імені Масарика допомагає Україні
:
Masarykova univerzita
Výzkum
Publikace
DiVinE: Parallel Distributed Model Checker (Tool paper)
More info
Close