Laboratoire Spécification et Vérification
Laboratoire Spécification et Vérification (Gif-sur-Yvette, Essonne) (1997-2020)
Laboratoire Spécification et Vérification laboratoire d'informatique de l'ENS de Cachan
VIAF ID: 171632125 ( Corporate )
Permalink: http://viaf.org/viaf/171632125
Preferred Forms
- 110 2 _ ‡a Laboratoire Spécification et Vérification
- 110 2 _ ‡a Laboratoire Spécification et Vérification (Gif-sur-Yvette, Essonne) (1997-2020)
- 110 2 _ ‡a Laboratoire Spécification et Vérification
- 110 2 _ ‡a Laboratoire Spécification et Vérification ‡c laboratoire d'informatique de l'ENS de Cachan
4xx's: Alternate Name Forms (11)
5xx's: Related Names (4)
- 510 2 _ ‡a Centre national de la recherche scientifique (France)
- 510 2 _ ‡a École normale supérieure Paris-Saclay (Gif-sur-Yvette, Essonne)
- 510 2 _ ‡a Laboratoire Méthodes formelles (Gif-sur-Yvette, Essonne) (2021-....)
- 510 2 _ ‡a Université Paris-Saclay (2020-....)
Works
Title | Sources |
---|---|
Landsforeningen Sindslidendes Vel nyt | |
LSV nyt | |
Temporal representation and reasoning | |
TIME 2010 |