(:source 
   :version  3 
   :ip-address "138.96.32.21"
   :ip-name "zenon.inria.fr"
   :tcp-port 210
   :database-name "meval-bibtex-zenon-inria-fr"
   :cost 0.00 
   :cost-unit :free 
   :maintainer "wais-admin@zenon.inria.fr"
   :description "Server created with WAIS release 8 b3.1 on Dec 26
17:41:00 1991 by root@zenon
The files of type bibtex used in the index were:
   /u/yragael/0/meval/articles/meval.bib
This source contains the bibtex bibliography of the MEVAL project
              at INRIA Sophia Antipolis France

Themes: modelisation , file d attente , reseau de Petri , systeme informatique
        teleinformatique , protocole , parallelisme , ordonancement , processus 
        stochastique
        modelling , queue , Petri network , protocol , parallelism , scheduling 
        stochastic process

"
)
