An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols

Shen, M.M.ShenLei, C. L.C. L.LeiChang, C. C.C. C.Chang2009-04-272018-07-062009-04-272018-07-061989http://ntur.lib.ntu.edu.tw//handle/246246/154242en-USAn Interval Logic for Reasoning about Timing Properties of Computer Communication Protocolsconference paper