Communication Dans Un Congrès
Année : 2006
Daniele Varacca : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148934
Soumis le : mercredi 23 mai 2007-17:52:50
Dernière modification le : mardi 18 janvier 2022-14:26:04
Dates et versions
Identifiants
- HAL Id : hal-00148934 , version 1
Citer
Daniele Varacca, Hagen Völzer. Temporal Logics and Model Checking for Fairly Correct Systems. 2006, pp.389-398. ⟨hal-00148934⟩
4
Consultations
0
Téléchargements