Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133333723> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2133333723 endingPage "219" @default.
- W2133333723 startingPage "215" @default.
- W2133333723 abstract "Temporal logic is proposed as a medium to describe the timing behaviour of digital systems. Queries on the timing properties of the digital systems can then be answered by testing the satisfiability of appropriately constructed temporal formulae. We suggest ways of improving the standard tableau method of testing the satisfiability of these formulae, and discuss results obtained from an implementation of this method. We claim that this can serve as a designers assistant to debug designs." @default.
- W2133333723 created "2016-06-24" @default.
- W2133333723 creator A5040300270 @default.
- W2133333723 creator A5090615473 @default.
- W2133333723 date "1986-07-02" @default.
- W2133333723 modified "2023-09-24" @default.
- W2133333723 title "Reasoning about Digital Systems Using Temporal Logic" @default.
- W2133333723 cites W1496170950 @default.
- W2133333723 cites W1507805823 @default.
- W2133333723 cites W1541152994 @default.
- W2133333723 cites W1607877490 @default.
- W2133333723 cites W1666015432 @default.
- W2133333723 cites W1967686058 @default.
- W2133333723 cites W2075209053 @default.
- W2133333723 cites W2083925169 @default.
- W2133333723 cites W2806619258 @default.
- W2133333723 cites W31774667 @default.
- W2133333723 cites W50233445 @default.
- W2133333723 doi "https://doi.org/10.5555/318013.318047" @default.
- W2133333723 hasPublicationYear "1986" @default.
- W2133333723 type Work @default.
- W2133333723 sameAs 2133333723 @default.
- W2133333723 citedByCount "2" @default.
- W2133333723 crossrefType "proceedings-article" @default.
- W2133333723 hasAuthorship W2133333723A5040300270 @default.
- W2133333723 hasAuthorship W2133333723A5090615473 @default.
- W2133333723 hasConcept C162670838 @default.
- W2133333723 hasConcept C168065819 @default.
- W2133333723 hasConcept C168773769 @default.
- W2133333723 hasConcept C198008173 @default.
- W2133333723 hasConcept C199360897 @default.
- W2133333723 hasConcept C25016198 @default.
- W2133333723 hasConcept C41008148 @default.
- W2133333723 hasConcept C4777664 @default.
- W2133333723 hasConcept C80444323 @default.
- W2133333723 hasConceptScore W2133333723C162670838 @default.
- W2133333723 hasConceptScore W2133333723C168065819 @default.
- W2133333723 hasConceptScore W2133333723C168773769 @default.
- W2133333723 hasConceptScore W2133333723C198008173 @default.
- W2133333723 hasConceptScore W2133333723C199360897 @default.
- W2133333723 hasConceptScore W2133333723C25016198 @default.
- W2133333723 hasConceptScore W2133333723C41008148 @default.
- W2133333723 hasConceptScore W2133333723C4777664 @default.
- W2133333723 hasConceptScore W2133333723C80444323 @default.
- W2133333723 hasLocation W21333337231 @default.
- W2133333723 hasOpenAccess W2133333723 @default.
- W2133333723 hasPrimaryLocation W21333337231 @default.
- W2133333723 hasRelatedWork W1481521611 @default.
- W2133333723 hasRelatedWork W1535978686 @default.
- W2133333723 hasRelatedWork W1553681183 @default.
- W2133333723 hasRelatedWork W191304338 @default.
- W2133333723 hasRelatedWork W2006850502 @default.
- W2133333723 hasRelatedWork W2031921088 @default.
- W2133333723 hasRelatedWork W2040799548 @default.
- W2133333723 hasRelatedWork W22371930 @default.
- W2133333723 hasRelatedWork W2361574795 @default.
- W2133333723 hasRelatedWork W2516023085 @default.
- W2133333723 hasRelatedWork W2520438138 @default.
- W2133333723 hasRelatedWork W2603347757 @default.
- W2133333723 hasRelatedWork W2621127161 @default.
- W2133333723 hasRelatedWork W2759287943 @default.
- W2133333723 hasRelatedWork W2803544309 @default.
- W2133333723 hasRelatedWork W2884716674 @default.
- W2133333723 hasRelatedWork W2970432965 @default.
- W2133333723 hasRelatedWork W808755874 @default.
- W2133333723 hasRelatedWork W968636668 @default.
- W2133333723 hasRelatedWork W2103698396 @default.
- W2133333723 isParatext "false" @default.
- W2133333723 isRetracted "false" @default.
- W2133333723 magId "2133333723" @default.
- W2133333723 workType "article" @default.