Peter A. Beerel, Ken S. Stevens, Hoshik Kim. Relative Timing Based Verification of Timed Circuits and Systems. In 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK. pages 115, IEEE Computer Society, 2002. [doi]
@inproceedings{BeerelSK02,
title = {Relative Timing Based Verification of Timed Circuits and Systems},
author = {Peter A. Beerel and Ken S. Stevens and Hoshik Kim},
year = {2002},
url = {http://csdl.computer.org/comp/proceedings/async/2002/1540/00/15400115abs.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/BeerelSK02},
cites = {0},
citedby = {0},
pages = {115},
booktitle = {8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK},
publisher = {IEEE Computer Society},
isbn = {0-7695-1540-1},
}