Protocols verified by APPROVER
ACM SIGCOMM Computer Communication Review · 1979
article Free Access Share on Protocols verified by APPROVERACM SIGCOMM Computer Communication ReviewVolume 9Issue 1January 1979 pp 32–34https://doi.org/10.1145/1016014.1016017Online:01 January 1979Publication History 2citation150DownloadsMetricsTotal Citations2Total Downloads150Last 12 Months3Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF