Title: Formal Modeling and Analysis of Timed Systems
- Title
- Formal Modeling and Analysis of Timed Systems
- Platform
- SpringerLink
- Status
- Expected
- Publication Type
- Monograph
- Medium
- Book
- Language
-
English
- First Author
- Empty
- First Editor
- "Petrucci, Laure"
- Publisher Name
- Springer Nature Switzerland
- Date First in Print
- 2023-01-01
- Date First Online
- 2023-01-01
- Access Start Date
- 2023-09-18
- Access End Date
- Empty
- Volume Number
- 14138
- Edition Statement
- 1
- Access Type
- Empty
- Note
- Empty
- Last Changed External
- Empty
- Date Created
- 2023-08-10 17:43:09
- Last Updated
- 2023-08-10 17:43:13
- UUID
- 5f48a668-f1a5-4c8d-bb5d-8120bcb60519
Identifier Namespace Name | Identifier Namespace Value | Identifier |
---|---|---|
eISBN | eisbn | 978-3-031-42626-1 |
ISBN | isbn | 978-3-031-42625-4 |
Title_ID | title_id | 10.1007/978-3-031-42626-1 |
- Subject Area
- Computer Science
Dewey Decimal Classification |
---|
- Series
- Empty
- Parent publication title ID
- Empty
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
Price Type | Value | Currency |
---|---|---|
list | 49.99 | EUR |