Saturated deductive systems for temporal specifications

Regimantas Pliuskevicius. Saturated deductive systems for temporal specifications. In SEKE 94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia. pages 267-273, Knowledge Systems Institute, 1994.

Abstract

Abstract is missing.