Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129335898> ?p ?o ?g. }
- W2129335898 endingPage "326" @default.
- W2129335898 startingPage "305" @default.
- W2129335898 abstract "This paper presents a model-checking method for linear-time temporal logic that can avoid most of the state explosion due to the modeling of concurrency by interleaving. The method relies on the concept of Mazurkiewicz′s trace as a semantic basis and uses automata-theoretic techniques, including automata that operate on words of ordinality higher than ω." @default.
- W2129335898 created "2016-06-24" @default.
- W2129335898 creator A5069392259 @default.
- W2129335898 creator A5074692660 @default.
- W2129335898 date "1994-05-01" @default.
- W2129335898 modified "2023-09-26" @default.
- W2129335898 title "A Partial Approach to Model Checking" @default.
- W2129335898 cites W1488858096 @default.
- W2129335898 cites W1502942777 @default.
- W2129335898 cites W1505315292 @default.
- W2129335898 cites W1518764426 @default.
- W2129335898 cites W1540501475 @default.
- W2129335898 cites W1547265787 @default.
- W2129335898 cites W1555070641 @default.
- W2129335898 cites W1563242841 @default.
- W2129335898 cites W1578895382 @default.
- W2129335898 cites W1579117491 @default.
- W2129335898 cites W1593428110 @default.
- W2129335898 cites W1605645260 @default.
- W2129335898 cites W1655990431 @default.
- W2129335898 cites W178976057 @default.
- W2129335898 cites W185167655 @default.
- W2129335898 cites W1934074768 @default.
- W2129335898 cites W1968552123 @default.
- W2129335898 cites W1975657455 @default.
- W2129335898 cites W1982900911 @default.
- W2129335898 cites W1991956281 @default.
- W2129335898 cites W1992582873 @default.
- W2129335898 cites W2012935476 @default.
- W2129335898 cites W2016300863 @default.
- W2129335898 cites W2019881090 @default.
- W2129335898 cites W2030683439 @default.
- W2129335898 cites W2031145943 @default.
- W2129335898 cites W2036526834 @default.
- W2129335898 cites W2039812824 @default.
- W2129335898 cites W2042087007 @default.
- W2129335898 cites W2057260173 @default.
- W2129335898 cites W2061438988 @default.
- W2129335898 cites W2086440639 @default.
- W2129335898 cites W2087718129 @default.
- W2129335898 cites W2090398333 @default.
- W2129335898 cites W2107168574 @default.
- W2129335898 cites W2117189826 @default.
- W2129335898 cites W2138856440 @default.
- W2129335898 cites W2140028191 @default.
- W2129335898 cites W2141585059 @default.
- W2129335898 cites W2153358971 @default.
- W2129335898 cites W2153439859 @default.
- W2129335898 cites W2155756511 @default.
- W2129335898 cites W2165161585 @default.
- W2129335898 cites W2280396455 @default.
- W2129335898 cites W2396167915 @default.
- W2129335898 cites W2806619258 @default.
- W2129335898 cites W2912084748 @default.
- W2129335898 cites W43147964 @default.
- W2129335898 cites W48815722 @default.
- W2129335898 cites W2343900709 @default.
- W2129335898 doi "https://doi.org/10.1006/inco.1994.1035" @default.
- W2129335898 hasPublicationYear "1994" @default.
- W2129335898 type Work @default.
- W2129335898 sameAs 2129335898 @default.
- W2129335898 citedByCount "158" @default.
- W2129335898 countsByYear W21293358982012 @default.
- W2129335898 countsByYear W21293358982013 @default.
- W2129335898 countsByYear W21293358982014 @default.
- W2129335898 countsByYear W21293358982016 @default.
- W2129335898 countsByYear W21293358982017 @default.
- W2129335898 countsByYear W21293358982018 @default.
- W2129335898 countsByYear W21293358982019 @default.
- W2129335898 countsByYear W21293358982020 @default.
- W2129335898 countsByYear W21293358982021 @default.
- W2129335898 countsByYear W21293358982022 @default.
- W2129335898 countsByYear W21293358982023 @default.
- W2129335898 crossrefType "journal-article" @default.
- W2129335898 hasAuthorship W2129335898A5069392259 @default.
- W2129335898 hasAuthorship W2129335898A5074692660 @default.
- W2129335898 hasBestOaLocation W21293358981 @default.
- W2129335898 hasConcept C110251889 @default.
- W2129335898 hasConcept C111919701 @default.
- W2129335898 hasConcept C112505250 @default.
- W2129335898 hasConcept C11413529 @default.
- W2129335898 hasConcept C12426560 @default.
- W2129335898 hasConcept C138885662 @default.
- W2129335898 hasConcept C193702766 @default.
- W2129335898 hasConcept C199360897 @default.
- W2129335898 hasConcept C25016198 @default.
- W2129335898 hasConcept C2524010 @default.
- W2129335898 hasConcept C28034677 @default.
- W2129335898 hasConcept C33923547 @default.
- W2129335898 hasConcept C41008148 @default.
- W2129335898 hasConcept C41895202 @default.
- W2129335898 hasConcept C4777664 @default.
- W2129335898 hasConcept C48103436 @default.
- W2129335898 hasConcept C75291252 @default.
- W2129335898 hasConcept C80444323 @default.
- W2129335898 hasConcept C94633896 @default.
- W2129335898 hasConceptScore W2129335898C110251889 @default.
- W2129335898 hasConceptScore W2129335898C111919701 @default.