A Practical Approach to Cycle Bound Estimation for Property Checking.
Year: 2002
Type: article
Authors: Chia-Chih Yen, Kuang-Chien Chen, Jing-Yang Jou
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W99525586