Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.
Rami R. Razouk, Michael M. Gorlick
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/RazoukG89 ↗
Browse the full ISSTA paper archive.