Temporal operators viewed as predicate transformers

A. Bijlsma

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume9341

Cite this