Chapitre D'ouvrage
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01529993
Soumis le : mercredi 31 mai 2017-16:01:25
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01529993 , version 1
Citer
Claude Dutheillet, Jean-Michel Ilié, Denis Poitrenaud, Isabelle Vernier-Mounier. State-Space-Based Methods and Model Checking. Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, Springer-Verlag, pp.201-275, 2003, 3-540-41217-4. ⟨hal-01529993⟩
Collections
45
Consultations
0
Téléchargements