Matches in SemOpenAlex for { <https://semopenalex.org/work/W2227598104> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2227598104 endingPage "131" @default.
- W2227598104 startingPage "126" @default.
- W2227598104 created "2016-06-24" @default.
- W2227598104 creator A5007063138 @default.
- W2227598104 creator A5029633547 @default.
- W2227598104 creator A5038867334 @default.
- W2227598104 creator A5057689302 @default.
- W2227598104 creator A5058282696 @default.
- W2227598104 date "2015-01-01" @default.
- W2227598104 modified "2023-09-25" @default.
- W2227598104 title "DSVerifier: A Bounded Model Checking Tool for Digital Systems" @default.
- W2227598104 cites W1250213783 @default.
- W2227598104 cites W1962072139 @default.
- W2227598104 cites W1984210775 @default.
- W2227598104 cites W2162773911 @default.
- W2227598104 cites W2963910610 @default.
- W2227598104 cites W3216708063 @default.
- W2227598104 cites W577336618 @default.
- W2227598104 doi "https://doi.org/10.1007/978-3-319-23404-5_9" @default.
- W2227598104 hasPublicationYear "2015" @default.
- W2227598104 type Work @default.
- W2227598104 sameAs 2227598104 @default.
- W2227598104 citedByCount "16" @default.
- W2227598104 countsByYear W22275981042016 @default.
- W2227598104 countsByYear W22275981042017 @default.
- W2227598104 countsByYear W22275981042018 @default.
- W2227598104 countsByYear W22275981042019 @default.
- W2227598104 countsByYear W22275981042020 @default.
- W2227598104 countsByYear W22275981042022 @default.
- W2227598104 crossrefType "book-chapter" @default.
- W2227598104 hasAuthorship W2227598104A5007063138 @default.
- W2227598104 hasAuthorship W2227598104A5029633547 @default.
- W2227598104 hasAuthorship W2227598104A5038867334 @default.
- W2227598104 hasAuthorship W2227598104A5057689302 @default.
- W2227598104 hasAuthorship W2227598104A5058282696 @default.
- W2227598104 hasConcept C110251889 @default.
- W2227598104 hasConcept C111472728 @default.
- W2227598104 hasConcept C111498074 @default.
- W2227598104 hasConcept C11413529 @default.
- W2227598104 hasConcept C118615104 @default.
- W2227598104 hasConcept C134306372 @default.
- W2227598104 hasConcept C138885662 @default.
- W2227598104 hasConcept C151730666 @default.
- W2227598104 hasConcept C162838799 @default.
- W2227598104 hasConcept C164155591 @default.
- W2227598104 hasConcept C168773769 @default.
- W2227598104 hasConcept C189950617 @default.
- W2227598104 hasConcept C199360897 @default.
- W2227598104 hasConcept C2779343474 @default.
- W2227598104 hasConcept C33923547 @default.
- W2227598104 hasConcept C34388435 @default.
- W2227598104 hasConcept C37789001 @default.
- W2227598104 hasConcept C41008148 @default.
- W2227598104 hasConcept C54732982 @default.
- W2227598104 hasConcept C80444323 @default.
- W2227598104 hasConcept C86803240 @default.
- W2227598104 hasConceptScore W2227598104C110251889 @default.
- W2227598104 hasConceptScore W2227598104C111472728 @default.
- W2227598104 hasConceptScore W2227598104C111498074 @default.
- W2227598104 hasConceptScore W2227598104C11413529 @default.
- W2227598104 hasConceptScore W2227598104C118615104 @default.
- W2227598104 hasConceptScore W2227598104C134306372 @default.
- W2227598104 hasConceptScore W2227598104C138885662 @default.
- W2227598104 hasConceptScore W2227598104C151730666 @default.
- W2227598104 hasConceptScore W2227598104C162838799 @default.
- W2227598104 hasConceptScore W2227598104C164155591 @default.
- W2227598104 hasConceptScore W2227598104C168773769 @default.
- W2227598104 hasConceptScore W2227598104C189950617 @default.
- W2227598104 hasConceptScore W2227598104C199360897 @default.
- W2227598104 hasConceptScore W2227598104C2779343474 @default.
- W2227598104 hasConceptScore W2227598104C33923547 @default.
- W2227598104 hasConceptScore W2227598104C34388435 @default.
- W2227598104 hasConceptScore W2227598104C37789001 @default.
- W2227598104 hasConceptScore W2227598104C41008148 @default.
- W2227598104 hasConceptScore W2227598104C54732982 @default.
- W2227598104 hasConceptScore W2227598104C80444323 @default.
- W2227598104 hasConceptScore W2227598104C86803240 @default.
- W2227598104 hasLocation W22275981041 @default.
- W2227598104 hasOpenAccess W2227598104 @default.
- W2227598104 hasPrimaryLocation W22275981041 @default.
- W2227598104 hasRelatedWork W1505526588 @default.
- W2227598104 hasRelatedWork W1530824419 @default.
- W2227598104 hasRelatedWork W1815155750 @default.
- W2227598104 hasRelatedWork W1965965053 @default.
- W2227598104 hasRelatedWork W2155162307 @default.
- W2227598104 hasRelatedWork W2400691703 @default.
- W2227598104 hasRelatedWork W2951913576 @default.
- W2227598104 hasRelatedWork W4295885746 @default.
- W2227598104 hasRelatedWork W4298483060 @default.
- W2227598104 hasRelatedWork W2098505979 @default.
- W2227598104 isParatext "false" @default.
- W2227598104 isRetracted "false" @default.
- W2227598104 magId "2227598104" @default.
- W2227598104 workType "book-chapter" @default.