Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

MLA

Petrucci, Laure, and Jeremy Sproston. Formal Modeling and Analysis of Timed Systems : 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Cham: Springer, 2023.

APA

Petrucci, L., & Sproston, J. (2023). Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Cham: Springer.

Chicago

Petrucci, Laure., and Jeremy Sproston. Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Cham: Springer, 2023.