SMT-based analysis of switching multi-domain linear Kirchhoff networks / Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko. - (2017), pp. 188-195. (Intervento presentato al convegno FMCAD17 tenutosi a Vienna nel 02 Oct 2017) [10.23919/FMCAD.2017.8102259].

SMT-based analysis of switching multi-domain linear Kirchhoff networks

Cimatti, Alessandro;Sessa, Mirko
2017-01-01

2017
2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna, Austria, October 2-6, 2017
Vienna, Austria
IEEE
978-0-9835678-7-5
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko
SMT-based analysis of switching multi-domain linear Kirchhoff networks / Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko. - (2017), pp. 188-195. (Intervento presentato al convegno FMCAD17 tenutosi a Vienna nel 02 Oct 2017) [10.23919/FMCAD.2017.8102259].
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/195313
 Attenzione

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

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