@PhdThesis{       PhDThesis,
  Author        = "Puppis, G.",
  date-added    = "2012-05-14 16:11:05 +0200",
  date-modified = "2012-05-14 16:11:12 +0200",
  Keywords      = "MSO",
  Note          = "Available at \url{http://www.dimi.uniud.it/\textasciitilde puppis/PhDThesis.pdf}",
  School        = "Dipartimento di Matematica e Informatica, Universit{\`a} di Udine, Italy",
  Title         = "Automata for Branching and Layered Temporal Structures",
  Year          = "2006",
  File          = "Automata for Branching and Layered Temporal Structures - Puppis (0) (0) - a - a - q.pdf"
}

@PhdThesis{ PhDThesis, Author = "Puppis, G.", date-added = "2012-05-14 16:11:05 +0200", date-modified = "2012-05-14 16:11:12 +0200", Keywords = "MSO", Note = "Available at \url{http://www.dimi.uniud.it/\textasciitilde puppis/PhDThesis.pdf}", School = "Dipartimento di Matematica e Informatica, Universit{`a} di Udine, Italy", Title = "Automata for Branching and Layered Temporal Structures", Year = "2006", File = "Automata for Branching and Layered Temporal Structures - Puppis (0) (0) - a - a - q.pdf" }