Using Finite-Linear Temporal Logic for Specifying Database Dynamics

TitleUsing Finite-Linear Temporal Logic for Specifying Database Dynamics
Publication TypeConference Proceedings
Year of Conference1989
AuthorsSaake, G., and U. W. Lipeck
Conference NameProc1 CSL'88 2nd Workshop Computer Science Logic
Pagination288-300
PublisherSpringer, Berlin
Abstract

no

Publicno