Cite
MLA Citation
Etienne André et al., editors. Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. Cham : Springer, 2019. http://access.bl.uk/ark:/81055/vdc_100086887792.0x000001