Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

MLA

Bogomolov, Sergiy, and David Parker. Formal Modeling and Analysis of Timed Systems : 20th International Conference, Formats 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Bogomolov, S., & Parker, D. (2022). Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Bogomolov, Sergiy., and David Parker. Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.