ScholarIQanswers from OpenAlex
Statistical Verification of Hyperproperties for Cyber-Physical Systems
PaperCitations, authors & open-access status
Statistical Verification of Hyperproperties for Cyber-Physical Systems is a paper indexed in ScholarIQ from OpenAlex.
How many citations does Statistical Verification of Hyperproperties for Cyber-Physical Systems have?
ScholarIQcitation count
Statistical Verification of Hyperproperties for Cyber-Physical Systems has 48 citations in the OpenAlex counts ScholarIQ stores.
When was Statistical Verification of Hyperproperties for Cyber-Physical Systems published?
ScholarIQyear
Statistical Verification of Hyperproperties for Cyber-Physical Systems has 2019 year in the ScholarIQ index.
What is the open-access status of Statistical Verification of Hyperproperties for Cyber-Physical Systems?
ScholarIQoa status
Statistical Verification of Hyperproperties for Cyber-Physical Systems has bronze oa status in the ScholarIQ index.
What is the DOI of Statistical Verification of Hyperproperties for Cyber-Physical Systems?
ScholarIQdoi
The DOI for Statistical Verification of Hyperproperties for Cyber-Physical Systems is on the source record.
What is the OpenAlex record for Statistical Verification of Hyperproperties for Cyber-Physical Systems?
ScholarIQopenalex
The OpenAlex for Statistical Verification of Hyperproperties for Cyber-Physical Systems is on the source record.