Jump to Content

Temporal Logic Programming

Zohar Manna
SLP (1987), pp. 4-16

Abstract

Research Areas