• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

Structural Methods

Thumbnail
Date
2002
Dewey
Informatique générale
Sujet
Méthodes formelles; Réseaux de Petri
Book title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications
Author
Valk, Rüdiger; Girault, Claude
Publisher
Springer-Verlag
Publisher city
Berlin
Year
2002
Pages number
607
ISBN
3-540-41217-4
URI
https://basepub.dauphine.fr/handle/123456789/3730
Collections
  • LAMSADE : Publications
Metadata
Show full item record
Author
Colom, José
Teruel, Enrique
Silva, Manuel
Haddad, Serge
Type
Chapitre d'ouvrage
Item number of pages
277-316

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.