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.
How many citations does Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification have?
ScholarIQcitation count
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has 54 citations in the OpenAlex counts ScholarIQ stores.
When was Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification published?
ScholarIQyear
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has 2018 year in the ScholarIQ index.
What is the open-access status of Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification?
ScholarIQoa status
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has closed oa status in the ScholarIQ index.
What is the DOI of Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification?
ScholarIQdoi
The DOI for Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification is on the source record.
What is the OpenAlex record for Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification?
ScholarIQopenalex
The OpenAlex for Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification is on the source record.