A compositional proof system for real-time systems based on explicit clock temporal logic : soundness and completeness

P. Zhou, J.J.M. Hooman, R. Kuiper

Research output: Book/ReportReportAcademic

46 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages52
Publication statusPublished - 1991

Publication series

NameComputing science notes
Volume9125

Cite this