Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Volker Stolz

COST Action IC1402 Runtime Verification Beyond Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Tracechecks: Defining Semantic Interfaces With Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy