Article Dans Une Revue
Networking and Information System Journal
Année : 2000
Charlotte Hug : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00707093
Soumis le : lundi 11 juin 2012-23:18:05
Dernière modification le : jeudi 6 avril 2023-10:54:11
Dates et versions
Identifiants
- HAL Id : hal-00707093 , version 1
Citer
Véronique Benzaken, Serena Cerrito, Sébastien Praud. Static verification of dynamical integrity constraints: a semantics based approach. Networking and Information System Journal, 2000, pp.1. ⟨hal-00707093⟩
Collections
28
Consultations
0
Téléchargements