|
|
Університет Mасарика
Українська
Čeština
English
Čeština
English
Університет імені Масарика допомагає Україні
:
Masarykova univerzita
Výzkum
Publikace
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
More info
Close