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]
@incollection{0024HBW03,
title = {Simulation Trace Verification for Quantitative Constraints},
author = {Xi Chen 0024 and Harry Hsieh and Felice Balarin and Yosinori Watanabe},
year = {2003},
doi = {10.1007/0-306-48709-8_21},
url = {https://doi.org/10.1007/0-306-48709-8_21},
researchr = {https://researchr.org/publication/0024HBW03},
cites = {0},
citedby = {0},
pages = {275-285},
booktitle = {Embedded Software for SoC},
editor = {Ahmed Amine Jerraya and Sungjoo Yoo and Diederik Verkest and Norbert Wehn},
publisher = {Kluwer / Springer},
isbn = {978-0-306-48709-5},
}