Cite
HARVARD Citation
André, E. et al. (eds.) (2019) Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100086887792.0x000001