@PhdThesis{       Piorkowski:PhD:2022,
  Author        = "Pi{\'o}rkowski, Rados{\l}aw",
  date-added    = "2022-10-30 09:11:10 +0100",
  date-modified = "2023-05-26 11:20:57 +0200",
  School        = "University of Warsaw",
  Title         = "Tame the infinite - simplification problems for infinite-state systems",
  Year          = "2022",
  bdsk-url-1    = "https://www.mimuw.edu.pl/sites/default/files/piorkowski\_radoslaw\_rozprawa\_doktorska.pdf",
  File          = "piorkowski\_radoslaw\_recenzja\_prof\_goeller.pdf",
  file-2        = "piorkowski\_radoslaw\_recenzja\_prof\_michaliszyn.pdf",
  file-3        = "piorkowski\_radoslaw\_rozprawa\_doktorska.pdf",
  file-4        = "piorkowski\_radoslaw\_autoreferaten.pdf"
}

@PhdThesis{ Piorkowski:PhD:2022, Author = "Pi{\'o}rkowski, Rados{\l}aw", date-added = "2022-10-30 09:11:10 +0100", date-modified = "2023-05-26 11:20:57 +0200", School = "University of Warsaw", Title = "Tame the infinite - simplification problems for infinite-state systems", Year = "2022", bdsk-url-1 = "https://www.mimuw.edu.pl/sites/default/files/piorkowski_radoslaw_rozprawa_doktorska.pdf", File = "piorkowski_radoslaw_recenzja_prof_goeller.pdf", file-2 = "piorkowski_radoslaw_recenzja_prof_michaliszyn.pdf", file-3 = "piorkowski_radoslaw_rozprawa_doktorska.pdf", file-4 = "piorkowski_radoslaw_autoreferaten.pdf" }