Cite
APA Citation
André, E., & Stoelinga, M. (Eds.) (2019). Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100086887792.0x000001