Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers. Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. IEICE Transactions, 88-D(7):1646-1661, 2005. [doi]
@article{PradubsuwunYM05,
title = {Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits},
author = {Denduang Pradubsuwun and Tomohiro Yoneda and Chris J. Myers},
year = {2005},
doi = {10.1093/ietisy/e88-d.7.1646},
url = {http://dx.doi.org/10.1093/ietisy/e88-d.7.1646},
researchr = {https://researchr.org/publication/PradubsuwunYM05},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {88-D},
number = {7},
pages = {1646-1661},
}