- Date Created
- 2024-04-19 10:26:25
- Last Updated
- 2024-04-19 10:26:25
- UUID
- a05b8d98-dc7e-4425-a0e6-572dd90c17dd
Identifier: 10.1016/C2013-0-18672-2
- Identifier Namespace
- doi
- Identifier
- 10.1016/C2013-0-18672-2
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Formal Verification (Current) | eBook - Freedom Collection Books and Backlist | doi |
| Formal Verification (Current) | eBook - Freedom Collection Books 2023 and Backlist | doi |