Trace checking of metric temporal logic with aggregating modalities using MapReduce

BIANCULLI, DOMENICO;GHEZZI, CARLO;KRSTIC, SRDAN
2014-01-01

2014
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9783319104300
9783319104300
Computer Science (all); Theoretical Computer Science
File in questo prodotto:
File Dimensione Formato  
sefm2014.pdf

accesso aperto

: Pre-Print (o Pre-Refereeing)
Dimensione 214.84 kB
Formato Adobe PDF
214.84 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/988665
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? ND
social impact