IRIS

Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2011). Improving reachability analysis of infinite state systems by specialization. In Proceedings of the 5th International Workshop on Reachability Problems (RP 2011) (pp.165-179). Berlin : Springer [10.1007/978-3-642-24288-5_15].

Improving reachability analysis of infinite state systems by specialization

PETTOROSSI, ALBERTO;SENNI, VALERIO
2011-01-01
International Workshop on Reachability Problems (RP 2011)
Genova
2011
5th
G. Delzanno and I. Potapov
Rilevanza internazionale
contributo
2011
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Intervento a convegno
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2011). Improving reachability analysis of infinite state systems by specialization. In Proceedings of the 5th International Workshop on Reachability Problems (RP 2011) (pp.165-179). Berlin : Springer [10.1007/978-3-642-24288-5_15].
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/70207
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 9
social impact