Idat.i
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration Xenakis - Merge (Accueil)

Index « Idat.i » - entrée « 1615-5262:2012:Gritzalis D:formal:analysis:for »
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.
1615-4150:2002:Vorlova S:enantioselective:hydrolysis:of < 1615-5262:2012:Gritzalis D:formal:analysis:for < 1745-9737:2010:Gruais I:modelling:of:sonic  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000061 (2012) Dimitris Gritzalis [Grèce] ; Panagiotis Katsaros [Grèce] ; Stylianos Basagiannis [Grèce] ; Yannis Soupionis [Grèce]Formal analysis for robust anti-SPIT protection using model checking

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/XenakisV1/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Idat.i -k "1615-5262:2012:Gritzalis D:formal:analysis:for" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Idat.i  \
                -Sk "1615-5262:2012:Gritzalis D:formal:analysis:for" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    XenakisV1
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Idat.i
   |clé=    1615-5262:2012:Gritzalis D:formal:analysis:for
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Nov 8 16:12:13 2018. Site generation: Wed Mar 6 22:10:31 2024