Software Specification of Real-Time Systems.

Joseph E. Urban

Browse the full ICPADS paper archive.