You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of doctorates

Piotr Hofman

Equivalence of infinite-state systems with silent steps (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

Careers

Website

© 2024 University of Warsaw. All rights reserved.