CAW '77 Proceedings of the 3rd workshop on Computer architecture : Non-numeric processing
A survey of end-to-end retransmission techniques
ACM SIGCOMM Computer Communication Review
New Challenges in Model Checking
25 Years of Model Checking
Factors in interprocess communication protocol efficiency for computer networks
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Hi-index | 0.00 |