@Article{         2016arXiv160608707F,
  Author        = "{Fortin}, M. and {Muscholl}, A. and {Walukiewicz}, I.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2016arXiv160608707F",
  ArchivePrefix = "arXiv",
  date-added    = "2018-10-09 11:41:31 +0000",
  date-modified = "2018-10-09 11:41:31 +0000",
  EPrint        = "1606.08707",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science",
  Month         = "June",
  PrimaryClass  = "cs.FL",
  Title         = "{On parametrized verification of asynchronous, shared-memory pushdown systems}",
  Year          = "2016",
  bdsk-url-1    = "https://doi.org/10.1007/978-3-319-63390-9\_9",
  File          = "1606.087070 (0) - a - a - t.pdf"
}

@Article{ 2016arXiv160608707F, Author = "{Fortin}, M. and {Muscholl}, A. and {Walukiewicz}, I.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2016arXiv160608707F", ArchivePrefix = "arXiv", date-added = "2018-10-09 11:41:31 +0000", date-modified = "2018-10-09 11:41:31 +0000", EPrint = "1606.08707", Journal = "ArXiv e-prints", Keywords = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science", Month = "June", PrimaryClass = "cs.FL", Title = "{On parametrized verification of asynchronous, shared-memory pushdown systems}", Year = "2016", bdsk-url-1 = "https://doi.org/10.1007/978-3-319-63390-9_9", File = "1606.087070 (0) - a - a - t.pdf" }