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.
How many citations does Decentralized Runtime Verification of LTL Specifications in Distributed Systems have?
ScholarIQcitation count
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has 63 citations in the OpenAlex counts ScholarIQ stores.
When was Decentralized Runtime Verification of LTL Specifications in Distributed Systems published?
ScholarIQyear
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has 2015 year in the ScholarIQ index.
What is the open-access status of Decentralized Runtime Verification of LTL Specifications in Distributed Systems?
ScholarIQoa status
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has closed oa status in the ScholarIQ index.
What is the DOI of Decentralized Runtime Verification of LTL Specifications in Distributed Systems?
ScholarIQdoi
The DOI for Decentralized Runtime Verification of LTL Specifications in Distributed Systems is on the source record.
What is the OpenAlex record for Decentralized Runtime Verification of LTL Specifications in Distributed Systems?
ScholarIQopenalex
The OpenAlex for Decentralized Runtime Verification of LTL Specifications in Distributed Systems is on the source record.