PICO Portalanswers 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 PICO Portal from OpenAlex.
How many citations does Decentralized Runtime Verification of LTL Specifications in Distributed Systems have?
PICO Portalcitation count
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has 63 citations in the OpenAlex counts PICO Portal stores.
When was Decentralized Runtime Verification of LTL Specifications in Distributed Systems published?
PICO Portalyear
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has 2015 year in the PICO Portal index.
What is the open-access status of Decentralized Runtime Verification of LTL Specifications in Distributed Systems?
PICO Portaloa status
Decentralized Runtime Verification of LTL Specifications in Distributed Systems has closed oa status in the PICO Portal index.
What is the DOI of Decentralized Runtime Verification of LTL Specifications in Distributed Systems?
PICO Portaldoi
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?
PICO Portalopenalex
The OpenAlex for Decentralized Runtime Verification of LTL Specifications in Distributed Systems is on the source record.