About: http://www.sudoc.fr/235911267/id

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: http://www.sudoc.fr/235911267/id Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:Thesis, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Document Thesis
Thesis advisor	Caspi, Paul (1944-2012 ; informaticien) Parent, Catherine (19..-....)
Praeses	Ouabdesselam, Farid (1950-....)
Author	Dumas Canovas, Cécile (19..-.... ; auteur en informatique)
Bibliographic Citation	Méthodes déductives pour la preuve de programmes LUSTRE / Cécile Dumas Canovas ; sous la direction de Paul Cospi ; co-encadrante, Catherine Parent-Vigouroux / , 2000
Subject	http://www.idref.fr/050702858/id http://www.idref.fr/027948331/id http://www.idref.fr/027253139/id
Degree granting institution	Université Joseph Fourier (Grenoble ; 1971-2015)
Opponent	Potet, Marie-Laure (1959-.... ; auteure en informatique)
dc:date	2000(xsd:integer)
Thesis referee	Donzeau-Gouge Viguié, Véronique Paulin-Mohring, Christine (1962-....)
rdam:P30135	Méthodes déductives pour la preuve de programmes LUSTRE
http://www.abes.fr...doc/holdingsCount	1(xsd:integer)
Laboratory associated with the thesis	Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software