Jump to Content

Temporal Logic Programming

Zohar Manna
J. Symb. Comput., vol. 8 (1989), pp. 277-295

Abstract

Research Areas