An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols
Resource
27th Allerton Conf. on Communication, Control, and Computing, pp. 1074-1083
Journal
27th Allerton Conf. on Communication, Control, and Computing
Pages
1074-1083
Date Issued
1989
Date
1989
Author(s)
Shen, M.
Lei, C. L.
Chang, C. C.
Type
conference paper