RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Temporal Logic and Model Checking for Operator Precedence Languages

CHIARI, MICHELE;Dino Mandrioli;Matteo Pradella
2018-01-01
2018
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
04.1 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
published-gandalf-2018.pdf

accesso aperto

: Publisher’s version
Dimensione 207.99 kB
Formato Adobe PDF
Visualizza/Apri
207.99 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/1066178
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact