| 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 |
|---|---|---|
| 000D18 (2008) | Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
| 001004 (2007) | Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
| 001076 (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 |
| 001362 (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/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegInc.i -k "Università degli Studi di Milano"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegInc.i \
-Sk "Università degli Studi di Milano" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Checkpoint
|type= indexItem
|index= AffRegInc.i
|clé= Università degli Studi di Milano
}}
| This area was generated with Dilib version V0.6.33. |  |