Gunter Saake, Udo W. Lipeck. Using Finite-Linear Temporal Logic for Specifying Database Dynamics. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 288-300, Springer, 1988.
@inproceedings{SaakeL88, title = {Using Finite-Linear Temporal Logic for Specifying Database Dynamics}, author = {Gunter Saake and Udo W. Lipeck}, year = {1988}, tags = {database, logic}, researchr = {https://researchr.org/publication/SaakeL88}, cites = {0}, citedby = {0}, pages = {288-300}, booktitle = {CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings}, editor = {Egon Börger and Hans Kleine Büning and Michael M. Richter}, volume = {385}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51659-X}, }