PICO Portalanswers 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 PICO Portal from OpenAlex.
How many citations does Statistical Verification of Hyperproperties for Cyber-Physical Systems have?
PICO Portalcitation count
Statistical Verification of Hyperproperties for Cyber-Physical Systems has 48 citations in the OpenAlex counts PICO Portal stores.
When was Statistical Verification of Hyperproperties for Cyber-Physical Systems published?
PICO Portalyear
Statistical Verification of Hyperproperties for Cyber-Physical Systems has 2019 year in the PICO Portal index.
What is the open-access status of Statistical Verification of Hyperproperties for Cyber-Physical Systems?
PICO Portaloa status
Statistical Verification of Hyperproperties for Cyber-Physical Systems has bronze oa status in the PICO Portal index.
What is the DOI of Statistical Verification of Hyperproperties for Cyber-Physical Systems?
PICO Portaldoi
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?
PICO Portalopenalex
The OpenAlex for Statistical Verification of Hyperproperties for Cyber-Physical Systems is on the source record.