Verification of Flat FIFO Systems.

Alain Finkel M. Praveen

Published in: CONCUR (2019)

Keyphrases

computer systems
building blocks
data structure
computing systems
database
data sets
data mining
multimedia
case study
management system
asynchronous circuits