Modélisation et vérification des réseaux de Petri hybrides temporisés application à la métamorphose amphibienne /

Description

Thèse de doctorat : Bioinformatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.

Links & Downloads

1. http://www.biblio.univ-evry.fr/theses/2008/2008EVRY0013.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494477571
Date	January 2008
Creators	Troncale, Sylvie Bernot, Gilles. Comet, Jean-Paul.
Publisher	S. l. : Evry-Val d'Essonne,
Source Sets	OCLC
Language	French
Detected Language	French