@PhdThesis{       Krcal,
  Author        = "Krcal, Pavel",
  date-added    = "2012-03-05 11:52:45 +0100",
  date-modified = "2013-04-16 14:11:06 +0000",
  Keywords      = "timed automata and communicating automata and clock difference relation",
  School        = "Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Computer Systems",
  Title         = "Infinite Structures in Timed Systems",
  Year          = "2009",
  File          = "Infinite Structures in Timed Systems - Krcal (0) (0) - a - a - a.pdf",
  file-2        = "Infinite Structures in Timed Systems - Krcal (1) (0) - a - a - a.pdf"
}

@PhdThesis{ Krcal, Author = "Krcal, Pavel", date-added = "2012-03-05 11:52:45 +0100", date-modified = "2013-04-16 14:11:06 +0000", Keywords = "timed automata and communicating automata and clock difference relation", School = "Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Computer Systems", Title = "Infinite Structures in Timed Systems", Year = "2009", File = "Infinite Structures in Timed Systems - Krcal (0) (0) - a - a - a.pdf", file-2 = "Infinite Structures in Timed Systems - Krcal (1) (0) - a - a - a.pdf" }