The complexity of verification
Robert P. Kurshan · 1994
Article Free Access Share on The complexity of verification Author: R. P. Kurshan AT&T Bell Laboratories, Murray Hill, NJ AT&T Bell Laboratories, Murray Hill, NJView Profile Authors Info & Claims STOC '94: Proceedings of the twenty-sixth annual ACM symposium on Theory of ComputingMay 1994 Pages 365–371https://doi.org/10.1145/195058.195194Published:23 May 1994Publication History 7citation599DownloadsMetricsTotal Citations7Total Downloads599Last 12 Months17Last 6 weeks6 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