Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard , Luca Aceto , Antonis Achilleos , Adrian Francalanza , Anna Ingólfsdóttir , et al.
41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩
Conference papers hal-03320023v1