. 2020 Jun 17;12227:239–245. doi: 10.1007/978-3-030-52482-1_14
© Springer Nature Switzerland AG 2020
This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
Fig. 1.
Extended track of the computation produced by the trace
in reverCSP.