Temporal operators viewed as predicate transformers

A. Bijlsma

Research output: Book/ReportReportAcademic

34 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages11
Publication statusPublished - 1993

Publication series

NameComputing science notes
Volume9341

Cite this

Bijlsma, A. (1993). Temporal operators viewed as predicate transformers. (Computing science notes; Vol. 9341). Technische Universiteit Eindhoven.