• Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
  • 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
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login