Timing analysis of MSC specifications with asynchronous concatenation

Minxue Pan, Xuandong Li. Timing analysis of MSC specifications with asynchronous concatenation. STTT, 14(6):639-651, 2012. [doi]

Abstract

Abstract is missing.