@Article{         FengLohreyQuaas,
  Author        = "Feng, Shiguang and Lohrey, Markus and Quaas, Karin",
  Abstract      = "Precise complexity results are derived for the model-checking problem for TPTL (timed propositional temporal logic) on (in)finite data words and deterministic one-counter machines. Depending on the number of register variables and the encoding of numbers in constraints (unary or binary), the complexity is either P-complete or PSPACE-complete.",
  date-added    = "2015-01-16 09:05:32 +0000",
  date-modified = "2015-01-16 09:05:32 +0000",
  EPrint        = "1412.3644",
  Month         = "12",
  Title         = "Path-Checking for MTL and TPTL over Data Words",
  URL           = "http://arxiv.org/abs/1412.3644",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1412.3644",
  File          = "Path-Checking for MTL and TPTL over Data Words - Feng, Lohrey, Quaas (0) (0) - a - a - o.pdf"
}

@Article{ FengLohreyQuaas, Author = "Feng, Shiguang and Lohrey, Markus and Quaas, Karin", Abstract = "Precise complexity results are derived for the model-checking problem for TPTL (timed propositional temporal logic) on (in)finite data words and deterministic one-counter machines. Depending on the number of register variables and the encoding of numbers in constraints (unary or binary), the complexity is either P-complete or PSPACE-complete.", date-added = "2015-01-16 09:05:32 +0000", date-modified = "2015-01-16 09:05:32 +0000", EPrint = "1412.3644", Month = "12", Title = "Path-Checking for MTL and TPTL over Data Words", URL = "http://arxiv.org/abs/1412.3644", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1412.3644", File = "Path-Checking for MTL and TPTL over Data Words - Feng, Lohrey, Quaas (0) (0) - a - a - o.pdf" }