Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

by David Parker (Editor), Sergiy Bogomolov (Editor)

$59.48

Quantity

10 in stock

More Information

Format: Paperback
Pages: 324
Edition: 1st ed. 2022

ISBN 13: 9783031158384