Nie jesteś zalogowany |
Powrót do listy of Promotor
Sławomir Lasota
Algebraic observational equivalence and open-map bisimilarity (Algebraic observational equivalence and open-map bisimilarity)
- Afiliacja
- Instytut Informatyki Uniwersytetu Warszawskiego
- W zakresie
- informatyki
- Data nadania
- 23 marca 2000
- Promotor
- prof. Andrzej Tarlecki
- Recenzenci
- prof. Horst Reichel
- dr hab. Michał Grabowski
