@Article{         2016arXiv160705956G,
  Author        = "{Geffroy}, T. and {Leroux}, J. and {Sutre}, G.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2016arXiv160705956G",
  ArchivePrefix = "arXiv",
  date-added    = "2018-10-17 14:16:14 +0000",
  date-modified = "2018-10-17 14:16:14 +0000",
  EPrint        = "1607.05956",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science",
  Month         = "July",
  PrimaryClass  = "cs.LO",
  Title         = "{Occam's Razor Applied to the Petri Net Coverability Problem}",
  Year          = "2016",
  File          = "1607.05956 (0) - a - a - u.pdf"
}

@Article{ 2016arXiv160705956G, Author = "{Geffroy}, T. and {Leroux}, J. and {Sutre}, G.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2016arXiv160705956G", ArchivePrefix = "arXiv", date-added = "2018-10-17 14:16:14 +0000", date-modified = "2018-10-17 14:16:14 +0000", EPrint = "1607.05956", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science", Month = "July", PrimaryClass = "cs.LO", Title = "{Occam's Razor Applied to the Petri Net Coverability Problem}", Year = "2016", File = "1607.05956 (0) - a - a - u.pdf" }