Verifying integrity constraints on web-based systems using model checking

Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - September 2001

BibTex references


@InProceedings{DDMP01,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli},
title = "Verifying integrity constraints on web-based
systems using model checking",
booktitle = "Atti del XXXIX Congresso dell'Associazione
Italiana per il Calcolo Automatico",
month = "September",
year = "2001",
url = "http://sisinflab.poliba.it/publications/2001/DDMP0
1"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy