Matches in SemOpenAlex for { <https://semopenalex.org/work/W96727551> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W96727551 created "2016-06-24" @default.
- W96727551 creator A5001096047 @default.
- W96727551 creator A5002730734 @default.
- W96727551 date "1995-01-01" @default.
- W96727551 modified "2023-09-25" @default.
- W96727551 title "Detection of equivalent state variables in finite state machine verification" @default.
- W96727551 cites W1992006255 @default.
- W96727551 cites W2012336463 @default.
- W96727551 cites W2078740228 @default.
- W96727551 cites W2099120582 @default.
- W96727551 cites W2112772379 @default.
- W96727551 cites W2137035823 @default.
- W96727551 cites W2145785237 @default.
- W96727551 cites W2149479807 @default.
- W96727551 cites W2150119568 @default.
- W96727551 cites W2157855934 @default.
- W96727551 cites W2162226695 @default.
- W96727551 cites W2167749768 @default.
- W96727551 hasPublicationYear "1995" @default.
- W96727551 type Work @default.
- W96727551 sameAs 96727551 @default.
- W96727551 citedByCount "19" @default.
- W96727551 countsByYear W967275512012 @default.
- W96727551 countsByYear W967275512013 @default.
- W96727551 crossrefType "journal-article" @default.
- W96727551 hasAuthorship W96727551A5001096047 @default.
- W96727551 hasAuthorship W96727551A5002730734 @default.
- W96727551 hasConcept C11413529 @default.
- W96727551 hasConcept C167822520 @default.
- W96727551 hasConcept C33923547 @default.
- W96727551 hasConcept C41008148 @default.
- W96727551 hasConcept C48103436 @default.
- W96727551 hasConceptScore W96727551C11413529 @default.
- W96727551 hasConceptScore W96727551C167822520 @default.
- W96727551 hasConceptScore W96727551C33923547 @default.
- W96727551 hasConceptScore W96727551C41008148 @default.
- W96727551 hasConceptScore W96727551C48103436 @default.
- W96727551 hasLocation W967275511 @default.
- W96727551 hasOpenAccess W96727551 @default.
- W96727551 hasPrimaryLocation W967275511 @default.
- W96727551 hasRelatedWork W1495266209 @default.
- W96727551 hasRelatedWork W1503170978 @default.
- W96727551 hasRelatedWork W1511688816 @default.
- W96727551 hasRelatedWork W164685601 @default.
- W96727551 hasRelatedWork W1814068099 @default.
- W96727551 hasRelatedWork W1997960810 @default.
- W96727551 hasRelatedWork W2001859357 @default.
- W96727551 hasRelatedWork W2053446892 @default.
- W96727551 hasRelatedWork W2061438988 @default.
- W96727551 hasRelatedWork W2069560114 @default.
- W96727551 hasRelatedWork W2080267935 @default.
- W96727551 hasRelatedWork W2088622131 @default.
- W96727551 hasRelatedWork W2099120582 @default.
- W96727551 hasRelatedWork W2101159578 @default.
- W96727551 hasRelatedWork W2137035823 @default.
- W96727551 hasRelatedWork W2155562553 @default.
- W96727551 hasRelatedWork W2159099907 @default.
- W96727551 hasRelatedWork W2161215542 @default.
- W96727551 hasRelatedWork W2161280291 @default.
- W96727551 hasRelatedWork W2237788591 @default.
- W96727551 isParatext "false" @default.
- W96727551 isRetracted "false" @default.
- W96727551 magId "96727551" @default.
- W96727551 workType "article" @default.