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

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

About: http://www.sudoc.fr/097726834/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	Diaz, Michel (1945-....)
Author	Ribet, Pierre-Olivier (1977-....)
Bibliographic Citation	Vérification formelle de systèmes : contribution à la réduction de l'explosion combinatoire / par Pierre-Olivier Ribet ; [sous la direction de] M. Diaz / [Toulouse] : [s.n.] , 2005
Subject	http://www.idref.fr/027253139/id http://www.idref.fr/027674401/id http://www.idref.fr/027333930/id
Degree granting institution	Institut national des sciences appliquées (Toulouse ; 1961-....)
dc:date	2005(xsd:integer)
rdam:P30135	Vérification formelle de systèmes, contribution à la réduction de l'explosion combinatoire
http://www.abes.fr...doc/holdingsCount	1(xsd:integer)
Laboratory associated with the thesis	Laboratoire d'Analyse et d'Architecture des Systèmes (Toulouse ; 1968-....)

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-2024 OpenLink Software