Matches in SemOpenAlex for { <https://semopenalex.org/work/W153586671> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W153586671 abstract "In today's computer engineering, requirements for generally high reliability have pushed the notion of testing to its limits. Many disciplines are moving, or have already moved, to more formal meth ..." @default.
- W153586671 created "2016-06-24" @default.
- W153586671 creator A5091288276 @default.
- W153586671 date "2003-12-01" @default.
- W153586671 modified "2023-09-27" @default.
- W153586671 title "New Directions in Symbolic Model Checking" @default.
- W153586671 hasPublicationYear "2003" @default.
- W153586671 type Work @default.
- W153586671 sameAs 153586671 @default.
- W153586671 citedByCount "0" @default.
- W153586671 crossrefType "book" @default.
- W153586671 hasAuthorship W153586671A5091288276 @default.
- W153586671 hasConcept C110251889 @default.
- W153586671 hasConcept C115903868 @default.
- W153586671 hasConcept C121332964 @default.
- W153586671 hasConcept C127413603 @default.
- W153586671 hasConcept C163258240 @default.
- W153586671 hasConcept C199360897 @default.
- W153586671 hasConcept C200601418 @default.
- W153586671 hasConcept C23123167 @default.
- W153586671 hasConcept C41008148 @default.
- W153586671 hasConcept C43214815 @default.
- W153586671 hasConcept C62520636 @default.
- W153586671 hasConceptScore W153586671C110251889 @default.
- W153586671 hasConceptScore W153586671C115903868 @default.
- W153586671 hasConceptScore W153586671C121332964 @default.
- W153586671 hasConceptScore W153586671C127413603 @default.
- W153586671 hasConceptScore W153586671C163258240 @default.
- W153586671 hasConceptScore W153586671C199360897 @default.
- W153586671 hasConceptScore W153586671C200601418 @default.
- W153586671 hasConceptScore W153586671C23123167 @default.
- W153586671 hasConceptScore W153586671C41008148 @default.
- W153586671 hasConceptScore W153586671C43214815 @default.
- W153586671 hasConceptScore W153586671C62520636 @default.
- W153586671 hasLocation W1535866711 @default.
- W153586671 hasOpenAccess W153586671 @default.
- W153586671 hasPrimaryLocation W1535866711 @default.
- W153586671 hasRelatedWork W1258539519 @default.
- W153586671 hasRelatedWork W1506181597 @default.
- W153586671 hasRelatedWork W1567198834 @default.
- W153586671 hasRelatedWork W1824139691 @default.
- W153586671 hasRelatedWork W1972016138 @default.
- W153586671 hasRelatedWork W2073015627 @default.
- W153586671 hasRelatedWork W2093159785 @default.
- W153586671 hasRelatedWork W209345893 @default.
- W153586671 hasRelatedWork W2418903127 @default.
- W153586671 hasRelatedWork W2561035474 @default.
- W153586671 hasRelatedWork W2606384742 @default.
- W153586671 hasRelatedWork W2916098426 @default.
- W153586671 hasRelatedWork W2935743206 @default.
- W153586671 hasRelatedWork W2963785390 @default.
- W153586671 hasRelatedWork W2971850589 @default.
- W153586671 hasRelatedWork W3086075254 @default.
- W153586671 hasRelatedWork W3128479499 @default.
- W153586671 hasRelatedWork W3185428773 @default.
- W153586671 hasRelatedWork W424544141 @default.
- W153586671 hasRelatedWork W632004965 @default.
- W153586671 isParatext "false" @default.
- W153586671 isRetracted "false" @default.
- W153586671 magId "153586671" @default.
- W153586671 workType "book" @default.