AffRegInc.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « AffRegInc.i » - entrée « Milano »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Meylan CEDEX < Milano < Milton Keynes  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000256 (2013) Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie]Bounded Proofs and Step Frames
000279 (2013) Mauro Ferrari [Italie] ; Camillo Fiorentini [Italie] ; Guido Fiorino [Italie]A Terminating Evaluation-Driven Variant of G3i
000644 (2011) Sara Brunetti [Italie] ; Paolo Dulio [Italie] ; Carla Peri [Italie]Characterization of { − 1,0, + 1} Valued Functions in Discrete Tomography under Sets of Four Directions
000904 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
001271 (2006) Silvana Castano [Italie] ; Alfio Ferrara [Italie] ; Stefano Montanelli [Italie]Ontology-based Interoperability Services for Semantic Collaboration in Open Networked Systems
001355 (2006) Sergio Terzi [Italie] ; Jacopo Cassina [Italie] ; Hervé Panetto [France]Development of a Metamodel to Foster Interoperability along the Product Lifecycle Traceability
002E21 (1993) Sergio Bandinelli [Italie] ; Luciano Baresi [Italie] ; Alfonso Fuggetta [Italie] ; Luigi Lavazza [Italie]Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology
002E41 (1993) S. Chevret [France] ; M. Hemmer [Luxembourg (pays)] ; J. Carlet [France] ; M. Langer [Italie]Incidence and risk factors of pneumonia acquired in intensive care units
002F65 (1992) Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni]Towards a reference framework for process concepts

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 "Milano" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegInc.i  \
                -Sk "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é=    Milano
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022