Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.

Vijay D'Silva, S. Ramesh, Arcot Sowmya

Browse the full DATE paper archive.