IRIS

Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2010). Generalization strategies for the verification of infinite state systems. In Proceedings of the 25th Italian Conference on Computational Logic (CILC'10). Cosenza.

Generalization strategies for the verification of infinite state systems

PETTOROSSI, ALBERTO;SENNI, VALERIO
2010-01-01
25th Italian Conference on Computational Logic (CILC'10)
University of Calabria, Rende, Italy
2010
Rilevanza nazionale
contributo
2010
2010
Settore INF/01 - INFORMATICA
Settore ING-IND/05 - IMPIANTI E SISTEMI AEROSPAZIALI
English
Verification of Infinite State Systems
CEUR-WS, Vol-598, urn:nbn:de:0074-598-1,
Intervento a convegno
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2010). Generalization strategies for the verification of infinite state systems. In Proceedings of the 25th Italian Conference on Computational Logic (CILC'10). Cosenza.
Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/2108/18897
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact