Version française
Home     About     Download     Resources     Contact us    
Browse thread
bibliotheque autograph
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe MAURAS <Christophe.Mauras@l...>
Subject: Re: bibliotheque autograph
Laurent Chéno wrote:
> 
> Vous trouverez la nouvelle version 1.0 (très enrichie !) de autograph
> à l'adresse suivante :
> 
>      http://pauillac.inria.fr/~cheno/autograph/
> 
> Merci de vos commentaires, suggestions et/ou reproches.
> 
> Cordialement, Laurent
> 
>

Tres bien, mais le nom est particulierement mal choisi, puisqu'il s'agit
du nom d'un logiciel d'edition et visualisation d'automates, bien
connu dans la communaute informatique et developpe a l'INRIA :

------------
http://www.inria.fr/meije/verification/index.html
-------------

Cordialement,

-- 
Christophe MAURAS                               
Institut de Recherche en Cybernetique de NANTES (IRCyN)
E.C.N., 1 rue de la Noe, BP 92101, 44321 NANTES cedex 3 
Tel: 02.40.37.16.00  poste 18 67   Fax: 02.40.37.25.22