- Date Created
- 2019-10-14 19:37:08
- Last Updated
- 2019-10-14 19:37:08
- UUID
- 5b148645-d5b4-4d9c-8ab9-9d5725bc7cd7
Identifier: 9783319105741
- Identifier Namespace
- isbn
- Identifier
- 9783319105741
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Handbook of Model Checking (Retired) | Springer:Ebooks:ComputerScience:2018 | isbn |
| Handbook of Model Checking (Current) | ProQuest_Ebook Central DDA | isbn |