Maria-Ribera Sancho, Antoni Olivé
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems
CAiSE, 1994.
@inproceedings{CAiSE-1994-SanchoO,
author = "Maria-Ribera Sancho and Antoni Olivé",
booktitle = "{Proceedings of the Sixth Conference on Advanced Information Systems Engineering}",
doi = "10.1007/3-540-58113-8_179",
isbn = "3-540-58113-8",
pages = "311--324",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems}",
volume = 811,
year = 1994,
}