Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

MapReduce for parallel trace validation of LTL properties

Access & Citations

  • 2950
    Article Accesses
  • Data not available
    Web of Science
  • Data not available
    CrossRef

Citation counts are provided from Web of Science and CrossRef. The counts may vary by service, and are reliant on the availability of their data. Counts will update daily once available.