
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Laure Petrucci (editor), Jeremy Sproston (editor)
Series:
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: