On computing the transitive closure of a state transition relation

Abstract

Article On computing the transitive closure of a state transition relation Share on Authors: Yusuke Matsunaga View Profile , Patrick C. McGeer View Profile , Robert K. Brayton View Profile Authors Info & Claims DAC '93: Proceedings of the 30th international Design Automation ConferenceJuly 1993 Pages 260–265https://doi.org/10.1145/157485.164884Online:01 July 1993Publication History 26citation439DownloadsMetricsTotal Citations26Total Downloads439Last 12 Months28Last 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 SiteGet Access