%0 Conference Paper %1 conf/async/BeerelSK02 %A Beerel, Peter A. %A Stevens, Ken S. %A Kim, Hoshik %B ASYNC %D 2002 %I IEEE Computer Society %K dblp %P 115-124 %T Relative Timing Based Verification of Timed Circuits and Systems. %U http://dblp.uni-trier.de/db/conf/async/async2002.html#BeerelSK02 %@ 0-7695-1540-1

@inproceedings{conf/async/BeerelSK02, added-at = {2023-03-23T00:00:00.000+0100}, author = {Beerel, Peter A. and Stevens, Ken S. and Kim, Hoshik}, biburl = {https://www.bibsonomy.org/bibtex/2a1b557788bcfd7f43b7b82d069a008be/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASYNC.2002.1000302}, interhash = {22d90a4610804cb6b4a99f3968984791}, intrahash = {a1b557788bcfd7f43b7b82d069a008be}, isbn = {0-7695-1540-1}, keywords = {dblp}, pages = {115-124}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:56:08.000+0200}, title = {Relative Timing Based Verification of Timed Circuits and Systems.}, url = {http://dblp.uni-trier.de/db/conf/async/async2002.html#BeerelSK02}, year = 2002 }