A simple assertional proof system for real-time systems (1992)

by A U Shankar
Venue:In Proceedings of the 13th IEEE Real-Time Systems Symposium