Temporal operators viewed as predicate transformers.

DSpace/Manakin Repository

Bijlsma, A.

(1993) Utrecht University Repository

(Preprint)

Download/Full Text

Publisher: Eindhoven University of Technology, Department of Mathematics and Computing Science

See more statistics about this item