Udo W. Lipeck Transformation of Dynamic Integrity Constraints into Transaction Specifications. [Citation Graph (1, 19)][DBLP] ICDT, 1988, pp:322-337 [Conf] Cites:
José Carmo, Amílcar Sernadas A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. [Citation Graph (2, 0)][DBLP] Temporal Aspects in Information Systems, 1987, pp:31-46 [Conf]