Record Type: |
Language materials, printed
: Monograph/item
|
Title/Author: |
Formal modeling and analysis of timed systems/ edited by Laure Petrucci, Jeremy Sproston. |
Reminder of title: |
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / |
remainder title: |
FORMATS 2023 |
other author: |
Petrucci, Laure. |
corporate name: |
Workshop on the Preservation of Stability under Discretization |
Published: |
Cham :Springer Nature Switzerland : : 2023., |
Description: |
xiv, 181 p. :ill. (some col.), digital ; : 24 cm.; |
Contained By: |
Springer Nature eBook |
Subject: |
Formal methods (Computer science) - |
Online resource: |
https://doi.org/10.1007/978-3-031-42626-1 |
ISBN: |
9783031426261 |