Publications de l'Équipe
Spécification et Vérification de Systèmes

Sélection par année

2012 2011 2010 2009 2008 2007 2006 2005 2004
2003 2002 2001 2000 1999 1998 1997 1996 1995
1994 1993 1992 1991 1990 1989 1988 1987 1986
1985 1984 1983 1982 1981 1980 1979 1978 1976
1973 1970 1969 1967 1966 1965 1964 1963

Sélection par catégorie

Livres et éditions Thèses Articles de revue ou chapitres de livre
Articles de conférence Rapports techniques internes Miscellaneous

Sélection par auteur

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A Muath Alrammal
B Roland Bouroulet Joël Brunet
C Joëlle Cohen
D Catalin Dima Cyril Dumont
E Michel Embe-Jiague
F Jean Fortin
G Frédéric Gava Frédéric Gervais Christophe Gnaho
Michael Guedj
H Gaétan Hains
K Pierre Konopacki
L Régine Laleau Chong Li
M Abderrahman Matoussi Jérémy Milhau Lynda Mokdad
Fabrice Mourlin
P Nihal Pekergin Elisabeth Pelz
R Diana El Rabih
S Farida Semmak Anatol Slissenko
T Sovanna Tan Minh-Anh Tran

Bibliographie complète

Bibliographie complète en une seule page HTML
Bibliographie complète en un seul fichier BIBTEX

Publications pour : Publications du LACL sur HAL (système CNRS) ici