- Date Created
- 2023-04-07 10:10:31
- Last Updated
- 2023-04-07 10:10:31
- UUID
- dfe7cf34-46a7-48af-89bd-a28ee464ce06
Title Update Infos: Formal Modeling and Analysis of Timed Systems
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2016 English International
- Description
- Changes in Title 'Formal Modeling and Analysis of Timed Systems'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-04-07
- End Time
- 2023-04-07
- KBART Field
- parent_publication_title_id
- Old Value
- 558
- New value
- 7407