A Generalized Nexttime Operator in Temporal Logic

Fred Kröger. A Generalized Nexttime Operator in Temporal Logic. J. Comput. Syst. Sci., 29(1):80-98, 1984.

Abstract

Abstract is missing.