@Article{         2018arXiv180608170A,
  Author        = "{Aziz Abdulla}, P. and {Faouzi Atig}, M. and {Ciobanu}, R. and {Mayr}, R. and {Totzke}, P.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180608170A",
  ArchivePrefix = "arXiv",
  date-added    = "2018-11-23 18:41:24 +0100",
  date-modified = "2018-11-23 18:41:24 +0100",
  EPrint        = "1806.08170",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science, F.1.1",
  Month         = "June",
  PrimaryClass  = "cs.LO",
  Title         = "{Universal Safety for Timed Petri Nets is PSPACE-complete}",
  Year          = "2018",
  File          = "AACMT2018 (0) - a - a - c.pdf"
}

@Article{ 2018arXiv180608170A, Author = "{Aziz Abdulla}, P. and {Faouzi Atig}, M. and {Ciobanu}, R. and {Mayr}, R. and {Totzke}, P.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180608170A", ArchivePrefix = "arXiv", date-added = "2018-11-23 18:41:24 +0100", date-modified = "2018-11-23 18:41:24 +0100", EPrint = "1806.08170", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science, F.1.1", Month = "June", PrimaryClass = "cs.LO", Title = "{Universal Safety for Timed Petri Nets is PSPACE-complete}", Year = "2018", File = "AACMT2018 (0) - a - a - c.pdf" }