@Article{         lmcs:6839,
  Author        = "Finkel, Alain and Praveen, M.",
  date-added    = "2020-10-25 18:37:28 +0100",
  date-modified = "2020-10-25 18:37:28 +0100",
  Journal       = "{Logical Methods in Computer Science}",
  Keywords      = "Computer Science - Computational Complexity ; Computer Science - Logic in Computer Science ; Theory of computation - Parallel computing models",
  Month         = "October",
  Title         = "{Verification of Flat FIFO Systems}",
  URL           = "https://lmcs.episciences.org/6839",
  Volume        = "{Volume 16, Issue 4}",
  Year          = "2020",
  bdsk-url-1    = "https://lmcs.episciences.org/6839",
  File          = "Verification of Flat FIFO Systems - 1908.07282 - a - l.pdf"
}

@Article{ lmcs:6839, Author = "Finkel, Alain and Praveen, M.", date-added = "2020-10-25 18:37:28 +0100", date-modified = "2020-10-25 18:37:28 +0100", Journal = "{Logical Methods in Computer Science}", Keywords = "Computer Science - Computational Complexity ; Computer Science - Logic in Computer Science ; Theory of computation - Parallel computing models", Month = "October", Title = "{Verification of Flat FIFO Systems}", URL = "https://lmcs.episciences.org/6839", Volume = "{Volume 16, Issue 4}", Year = "2020", bdsk-url-1 = "https://lmcs.episciences.org/6839", File = "Verification of Flat FIFO Systems - 1908.07282 - a - l.pdf" }