APA (7th ed.) Citation

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 Style (17th ed.) Citation

FORMATS Warschau, Sergiy Bogomolov, and 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 (9th ed.) Citation

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.