مؤتمر
Specifying and verifying systems with multiple clocks
| العنوان: | Specifying and verifying systems with multiple clocks |
|---|---|
| المؤلفون: | Clarke, E.M., Kroening, D., Yorav, K. |
| المصدر: | Proceedings 21st International Conference on Computer Design Computer design Computer Design, 2003. Proceedings. 21st International Conference on. :48-55 2003 |
| Relation: | 21st International Conference on Computer Design |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769520251 9780769520254 |
|---|---|
| تدمد: | 10636404 |
| DOI: | 10.1109/ICCD.2003.1240872 |