Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
PaperCitations, authors & open-access status
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 54 citations, 2018 year and closed oa status.
54
Citations
2018
Year
closed
OA Status