Advanced search

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

List of works by Duncan Paul Attard

View this query on the Wikidata Query Service
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