Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Decentralized Runtime Verification of LTL Specifications in Distributed Systems
PaperCitations, authors & open-access status
Decentralized Runtime Verification of LTL Specifications in Distributed Systems is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 63 citations, 2015 year and closed oa status.
63
Citations
2015
Year
closed
OA Status