@PhdThesis{       Hofman,
  Author        = "Hofman, Piotr",
  date-added    = "2014-04-26 07:48:07 +0000",
  date-modified = "2014-04-26 07:48:47 +0000",
  School        = "University of Warsaw",
  Title         = "Equivalence of infinite-state systems with silent steps",
  Year          = "2013",
  File          = "Equivalence of inﬁnite-state systems with silent steps - Hofman (0) (0) - a - a - p.pdf"
}

@PhdThesis{ Hofman, Author = "Hofman, Piotr", date-added = "2014-04-26 07:48:07 +0000", date-modified = "2014-04-26 07:48:47 +0000", School = "University of Warsaw", Title = "Equivalence of infinite-state systems with silent steps", Year = "2013", File = "Equivalence of inﬁnite-state systems with silent steps - Hofman (0) (0) - a - a - p.pdf" }