Automatic Verification of a Class of Concurrent Real-Time Systems

• 一类并发实时系统的自动验证