- Date Created
- 2024-04-19 10:26:25
- Last Updated
- 2024-04-19 10:26:25
- UUID
- 6fb09d86-d508-4eb8-bbe9-09a859c29810
Identifier: 10.1016/C2021-0-02714-0
- Identifier Namespace
- doi
- Identifier
- 10.1016/C2021-0-02714-0
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Formal Verification (Second Edition) (Current) | eBook - Freedom Collection Books and Backlist | doi |
| Formal Verification (Second Edition) (Current) | eBook - Freedom Collection Books 2023 and Backlist | doi |