@MastersThesis{HaoqingZhuMasters,
  author   = {Haoqing Zhu},
  title    = {Parallel and incremental algorithms in Verse hybrid system verification library},
  school   = {University of Illinois as Urbana-Champaign},
  year     = {2023},
  month    = {May},
}