Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231640108> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4231640108 created "2022-05-12" @default.
- W4231640108 creator A5017426974 @default.
- W4231640108 creator A5024513713 @default.
- W4231640108 creator A5063235724 @default.
- W4231640108 creator A5082596567 @default.
- W4231640108 date "1999-01-04" @default.
- W4231640108 modified "2023-10-05" @default.
- W4231640108 title "Symbolic Model Checking without BDDs" @default.
- W4231640108 doi "https://doi.org/10.21236/ada360973" @default.
- W4231640108 hasPublicationYear "1999" @default.
- W4231640108 type Work @default.
- W4231640108 citedByCount "233" @default.
- W4231640108 countsByYear W42316401082012 @default.
- W4231640108 countsByYear W42316401082013 @default.
- W4231640108 countsByYear W42316401082014 @default.
- W4231640108 countsByYear W42316401082015 @default.
- W4231640108 countsByYear W42316401082016 @default.
- W4231640108 countsByYear W42316401082017 @default.
- W4231640108 countsByYear W42316401082018 @default.
- W4231640108 countsByYear W42316401082019 @default.
- W4231640108 countsByYear W42316401082020 @default.
- W4231640108 countsByYear W42316401082021 @default.
- W4231640108 countsByYear W42316401082022 @default.
- W4231640108 countsByYear W42316401082023 @default.
- W4231640108 crossrefType "report" @default.
- W4231640108 hasAuthorship W4231640108A5017426974 @default.
- W4231640108 hasAuthorship W4231640108A5024513713 @default.
- W4231640108 hasAuthorship W4231640108A5063235724 @default.
- W4231640108 hasAuthorship W4231640108A5082596567 @default.
- W4231640108 hasBestOaLocation W42316401082 @default.
- W4231640108 hasConcept C110251889 @default.
- W4231640108 hasConcept C11413529 @default.
- W4231640108 hasConcept C199360897 @default.
- W4231640108 hasConcept C23123167 @default.
- W4231640108 hasConcept C41008148 @default.
- W4231640108 hasConcept C80444323 @default.
- W4231640108 hasConceptScore W4231640108C110251889 @default.
- W4231640108 hasConceptScore W4231640108C11413529 @default.
- W4231640108 hasConceptScore W4231640108C199360897 @default.
- W4231640108 hasConceptScore W4231640108C23123167 @default.
- W4231640108 hasConceptScore W4231640108C41008148 @default.
- W4231640108 hasConceptScore W4231640108C80444323 @default.
- W4231640108 hasLocation W42316401081 @default.
- W4231640108 hasLocation W42316401082 @default.
- W4231640108 hasOpenAccess W4231640108 @default.
- W4231640108 hasPrimaryLocation W42316401081 @default.
- W4231640108 hasRelatedWork W120135115 @default.
- W4231640108 hasRelatedWork W1539201627 @default.
- W4231640108 hasRelatedWork W1978951759 @default.
- W4231640108 hasRelatedWork W2079251676 @default.
- W4231640108 hasRelatedWork W2115279934 @default.
- W4231640108 hasRelatedWork W2149299285 @default.
- W4231640108 hasRelatedWork W2152996796 @default.
- W4231640108 hasRelatedWork W2212264424 @default.
- W4231640108 hasRelatedWork W2571762577 @default.
- W4231640108 hasRelatedWork W4235226231 @default.
- W4231640108 isParatext "false" @default.
- W4231640108 isRetracted "false" @default.
- W4231640108 workType "report" @default.