Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification is a paper indexed in PICO Portal from OpenAlex.
How many citations does Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification have?
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has 54 citations in the OpenAlex counts PICO Portal stores.
When was Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification published?
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has 2018 year in the PICO Portal index.
What is the open-access status of Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification?
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification has closed oa status in the PICO Portal index.
What is the DOI of Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification?
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?
The OpenAlex for Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification is on the source record.