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

Research output: Book/Report › Report › Academic

127 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	52
Publication status	Published - 1991

Name	Computing science notes
Volume	9125

Access to Document

TY - BOOK

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

AU - Zhou, P.

AU - Hooman, J.J.M.

AU - Kuiper, R.

PY - 1991

Y1 - 1991

M3 - Report

T3 - Computing science notes

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -