Аннотация:article Free Access Share on Interface specification with temporal logic Author: M. Kooij PTT Research, Neher Laboratories, P.O. Box 421, 2260 AK Leidschendam, The Netherlands PTT Research, Neher Laboratories, P.O. Box 421, 2260 AK Leidschendam, The NetherlandsView Profile Authors Info & Claims ACM SIGSOFT Software Engineering NotesVolume 14Issue 3May 1989 pp 104–110https://doi.org/10.1145/75200.75216Published:01 April 1989Publication History 1citation239DownloadsMetricsTotal Citations1Total Downloads239Last 12 Months12Last 6 weeks2 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
