Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki