Dill, David L. Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill. — Cambridge, Massachusetts; London, England: MIT Press, 2003. — 1 PDF (163 p.): ill. — (ACM distinguished dissertations). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249>. — Текст: электронный
| Period | Read | Copy | Open | Total | ||
|---|---|---|---|---|---|---|
| Year 2020 | Quarter 1 | 0 | 0 | 0 | 1 | 1 |
| Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 4 | 0 | 0 | 0 | 0 | 0 | |
| Year 2021 | Quarter 1 | 0 | 0 | 0 | 0 | 0 |
| Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 4 | 0 | 0 | 0 | 1 | 1 | |
| Year 2022 | Quarter 1 | 0 | 0 | 0 | 0 | 0 |
| Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 3 | 0 | 0 | 0 | 1 | 1 | |
| Quarter 4 | 0 | 0 | 0 | 2 | 2 | |
| Year 2023 | Quarter 1 | 0 | 0 | 0 | 2 | 2 |
| Quarter 2 | 0 | 0 | 0 | 1 | 1 | |
| Quarter 3 | 0 | 0 | 0 | 4 | 4 | |
| Quarter 4 | 0 | 0 | 0 | 1 | 1 | |
| Year 2024 | Quarter 1 | 0 | 0 | 0 | 0 | 0 |
| Quarter 2 | 0 | 0 | 0 | 3 | 3 | |
| Quarter 3 | 0 | 0 | 0 | 1 | 1 | |
| Quarter 4 | 0 | 0 | 0 | 1 | 1 | |
| Total | 0 | 0 | 0 | 18 | 18 | |