TY  - RPRT
TI  - Verification of Flat FIFO Systems
AU  - Alain Finkel
AU  - M. Praveen
PY  - 2020
DO  - 10.23638/lmcs-16(4:4)2020
UR  - https://arxiv.org/abs/1908.07282
ID  - 1908.07282
ER  -