- Date Created
- 2022-03-17 12:32:33
- Last Updated
- 2022-03-17 12:32:33
- UUID
- 81fdd8e8-42b4-42fd-991c-7d14abfc28df
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 |