Skip to Main content Skip to Navigation
Theses

Approximation de relations de transition : application à la vérification de systèmes infinis

Abstract : Non disponible/Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_2003_0229_MUSSET.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01746595
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:40:57 AM
Last modification on : Monday, September 14, 2020 - 2:21:47 PM

Identifiers

  • HAL Id : tel-01746595, version 1

Collections

Citation

Julien Musset. Approximation de relations de transition : application à la vérification de systèmes infinis. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10229⟩. ⟨tel-01746595⟩

Share

Metrics

Record views

8