Nie jesteś zalogowany |
Powrót do listy doktoratów
Piotr Hofman
Equivalence of infinite-state systems with silent steps (Equivalence of infinite-state systems with silent steps)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 13 marca 2014
- Promotor
- dr hab. Sławomir Lasota
- Recenzenci
- dr hab. Aleksy Schubert (Uniwersytet Warszawski)
- prof. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
- Dokumenty
