Upload Records Snowball Search Search OpenAlex

About the database

ScholarIQanswers from OpenAlex

The Complexity of Monitoring Hyperproperties

PaperCitations, authors & open-access status

The Complexity of Monitoring Hyperproperties is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 43 citations, 2018 year and green oa status.

43

Citations

2018

Year

green

OA Status

IDs:DOI OpenAlex

Related on ScholarIQ

Borzoo Bonakdarpour

Formal Methods in Verification

Formal Methods in Verification

Security and Verification in Computing

Logic, programming, and type systems