Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Duncan Paul Attard

A Monitoring Tool for Linear-Time $$\mu $$HML

scientific article published on 13 June 2022

Better Late Than Never or: Verifying Asynchronous Components at Runtime

scientific article published on 09 June 2021

On Benchmarking for Concurrent Runtime Verification

scientific article published on 19 March 2021

Paulina is supported by:

About Paulina

Help