State-Space-Based Methods and Model Checking

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01529993
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 31, 2017 - 4:01:25 PM
Last modification on : Thursday, March 21, 2019 - 1:06:37 PM

Identifiers

  • HAL Id : hal-01529993, version 1

Citation

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⟩

Share

Metrics

Record views

57