Verification and Validation of Temporal Business Rules

Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	DAISD
Pages	1-15
Number of pages	15
Publication status	Published - 1992
Event	3rd International Workshop on the 'Deductive Approach to Information Systems and Databases' - Costa Brava, Spain Duration: 1 Jan 1824 → …

Conference	3rd International Workshop on the 'Deductive Approach to Information Systems and Databases'
City	Costa Brava, Spain
Period	1/01/24 → …

Cite this

@inproceedings{da64d988e74543819a1efe50515cd60b,

title = "Verification and Validation of Temporal Business Rules",

author = "Babis Theodoulidis and Petros Alexakis and Pericles Loucopoulos",

year = "1992",

language = "English",

pages = "1--15",

booktitle = "DAISD",

note = "3rd International Workshop on the 'Deductive Approach to Information Systems and Databases' ; Conference date: 01-01-1824",

}