Kåre J. Kristoffersen, Yvonne Dittrich. Expanding Database Systems into self-verifying Entities. In Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with . pages 65-70, INSTICC Press, 2005.
@inproceedings{KristoffersenD05,
title = {Expanding Database Systems into self-verifying Entities},
author = {Kåre J. Kristoffersen and Yvonne Dittrich},
year = {2005},
tags = {database},
researchr = {https://researchr.org/publication/KristoffersenD05},
cites = {0},
citedby = {0},
pages = {65-70},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with },
editor = {Ulrich Ultes-Nitsche and Juan Carlos Augusto and Joseph Barjis},
publisher = {INSTICC Press},
isbn = {972-8865-22-8},
}