FORMATS Warschau, Bogomolov, S., & Parker, D. (2022). Formal modeling and analysis of timed systems: 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, proceedings. Springer. https://doi.org/10.1007/978-3-031-15839-1
Chicago-Zitierstil (17. Ausg.)FORMATS Warschau, Sergiy Bogomolov, und David Parker. Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Cham, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-15839-1.
MLA-Zitierstil (9. Ausg.)FORMATS Warschau, et al. Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Springer, 2022. https://doi.org/10.1007/978-3-031-15839-1.