Better Late Than Never or: Verifying Asynchronous Components at Runtime.

Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen

Browse the full FORTE paper archive.