- Date Created
- 2024-09-09 21:44:54
- Last Updated
- 2024-09-09 21:44:54
- UUID
- f1865e16-2b15-4a87-a330-7550f034720f
Title Update Infos: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Description
- New Title 'Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems'
- Status
- Successful
- Type
- New Title
- Start Time
- 2024-09-09
- End Time
- 2024-09-09
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty