Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic

Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla. Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In TFAIS. pages 145-157, 1985.

Abstract

Abstract is missing.