Sandeep K. Shukla, Michael Theobald. Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. Formal Methods in System Design, 28(2):91-92, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.