Diagnostic Information for Realizability / Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei. - 4905:(2008), pp. 52-67. (Intervento presentato al convegno VMCAI 2008 tenutosi a San Francisco, USA nel 07/01/2008-09/01/2008) [10.1007/978-3-540-78163-9_9].

Diagnostic Information for Realizability

Alessandro Cimatti;Marco Roveri;
2008-01-01

2008
Proceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation
San Francisco, USA
SPRINGER
9783540781622
Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
Diagnostic Information for Realizability / Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei. - 4905:(2008), pp. 52-67. (Intervento presentato al convegno VMCAI 2008 tenutosi a San Francisco, USA nel 07/01/2008-09/01/2008) [10.1007/978-3-540-78163-9_9].
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/11572/258840
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 62
  • ???jsp.display-item.citation.isi??? 53
social impact