• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

Vérification de propriétés spécifiques

Haddad, Serge; Vernadat, François (2003), Vérification de propriétés spécifiques, in Diaz, Michel, Vérification et mise en œuvre des réseaux de Petri, Hermès Science : Lavoisier : Paris, p. 31-96

Type
Chapitre d'ouvrage
Date
2003
Book title
Vérification et mise en œuvre des réseaux de Petri
Book author
Diaz, Michel
Publisher
Hermès Science : Lavoisier
Published in
Paris
ISBN
2-7462-0445-2
Number of pages
389
Pages
31-96
Metadata
Show full item record
Author(s)
Haddad, Serge
Vernadat, François cc
Subjects / Keywords
Réseaux de Petri; Systèmes informatiques; Modèles mathématiques

Related items

Showing items related by title and author.

  • Thumbnail
    New Efficient Petri Net Reductions for Parallel Programs Verification 
    Haddad, Serge; Pradat-Peyre, Jean-François (2006) Article accepté pour publication ou publié
  • Thumbnail
    Panorama de la vérification 
    Haddad, Serge (2006) Chapitre d'ouvrage
  • Thumbnail
    Vérification de systèmes probabilisés : méthodes et outils 
    Haddad, Serge; Moreaux, Patrice (2006) Chapitre d'ouvrage
  • Thumbnail
    Modular Verification of Petri nets properties: a Structure-based Approach 
    Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
  • Thumbnail
    Issues in Verification 
    Haddad, Serge (2002) Chapitre d'ouvrage
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo