@PhdThesis{       Hugot,
  Author        = "Hugot, Vincent",
  date-added    = "2013-12-22 13:20:04 +0000",
  date-modified = "2013-12-22 13:20:27 +0000",
  Title         = "Tree Automata, Approximations, and Constraints for Verification - Tree (Not-Quite) Regular Model-Checking",
  File          = "Tree Automata, Approximations, and Constraints for Verification - Tree (Not-Quite) Regular Model-Checking - Hugot (0) (0) - a - a - i.pdf"
}

@PhdThesis{ Hugot, Author = "Hugot, Vincent", date-added = "2013-12-22 13:20:04 +0000", date-modified = "2013-12-22 13:20:27 +0000", Title = "Tree Automata, Approximations, and Constraints for Verification - Tree (Not-Quite) Regular Model-Checking", File = "Tree Automata, Approximations, and Constraints for Verification - Tree (Not-Quite) Regular Model-Checking - Hugot (0) (0) - a - a - i.pdf" }