Università degli Studi di Firenze < Università degli Studi di Milano < Università degli Studi di Verona | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
004290 (2008) | Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
004C19 (2007) | Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
004C91 (2007) | Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems |
005509 (2006) | Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/AffRegInc.i -k "Università degli Studi di Milano"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/AffRegInc.i \ -Sk "Università degli Studi di Milano" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Curation |type= indexItem |index= AffRegInc.i |clé= Università degli Studi di Milano }}
This area was generated with Dilib version V0.6.33. |