Static verification of dynamical integrity constraints: a semantics based approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Networking and Information System Journal Année : 2000

Static verification of dynamical integrity constraints: a semantics based approach

Véronique Benzaken
Centre de Recherche en Informatique de Paris 1
CV
Serena Cerrito
  • Fonction : Auteur
Sébastien Praud
  • Fonction : Auteur

Domaines

Autre [cs.OH]

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

Fichier non déposé

Dates et versions

hal-00707093 , version 1 (11-06-2012)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More