Verification of Finite-State Systems

Jean-François Pradat-Peyre 1 Yann Thierry-Mieg 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01288078
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 3:39:28 PM
Last modification on : Tuesday, May 14, 2019 - 11:06:57 AM

Identifiers

  • HAL Id : hal-01288078, version 1

Citation

Jean-François Pradat-Peyre, Yann Thierry-Mieg. Verification of Finite-State Systems. Models and Analysis in Distributed Systems, Wiley, pp.155-220, 2011, 9781848213142. ⟨hal-01288078⟩

Share

Metrics

Record views

160