Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe. Simulation Trace Verification for Quantitative Constraints. In Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn, editors, Embedded Software for SoC. pages 275-285, Kluwer / Springer, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.