You are not logged in |
Return to the list of doctorates
Piotr Hofman
Equivalence of infinite-state systems with silent steps
- Affiliation
- Uniwersytet Warszawski
- Field
- informatics
- Awarding date
- March 13, 2014
- Supervisor
- dr hab. Sławomir Lasota
- Reviewers
- dr hab. Aleksy Schubert (Uniwersytet Warszawski)
- prof. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
- Documents
