Show simple item record

dc.contributor.authorBérard, Béatrice
HAL ID: 9360
dc.date.accessioned2010-03-17T15:20:30Z
dc.date.available2010-03-17T15:20:30Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/3729
dc.language.isofren
dc.subjectMéthodes formellesen
dc.subjectSystèmes à paramètres répartisen
dc.subject.ddc004en
dc.titleModèles temporisésen
dc.typeChapitre d'ouvrage
dc.identifier.citationpages53-91en
dc.relation.ispartoftitleMéthodes formelles pour les systèmes répartis et coopératifsen
dc.relation.ispartofeditorHaddad, Serge
dc.relation.ispartofeditorKordon, Fabrice
dc.relation.ispartofeditorPetrucci, Laure
dc.relation.ispartofpublnameHermes/Lavoisieren
dc.relation.ispartofpublcityParisen
dc.relation.ispartofdate2006
dc.relation.ispartofpages347en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn2-7462-1447-4en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record