DMCA

A Framework To Analyse Synchronous Data-Flow Specifications (2001)

by Mirabelle Nebut , Sophie Pinchinat