Title: Abstract interpretation of reactive systems
Abstract: article Free Access Share on Abstract interpretation of reactive systems Authors: Dennis Dams Eindhoven Univ. of Technology, Eindhoven, The Netherlands Eindhoven Univ. of Technology, Eindhoven, The NetherlandsView Profile , Rob Gerth Eindhoven Univ. of Technology, Eindhoven, The Netherlands Eindhoven Univ. of Technology, Eindhoven, The NetherlandsView Profile , Orna Grumberg Technion–Israel Institute of Technology, Haifa, Israel Technion–Israel Institute of Technology, Haifa, IsraelView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 19Issue 2pp 253–291https://doi.org/10.1145/244795.244800Published:03 March 1997Publication History 270citation1,677DownloadsMetricsTotal Citations270Total Downloads1,677Last 12 Months84Last 6 weeks11 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