Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300021588> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4300021588 created "2022-10-03" @default.
- W4300021588 creator A5047507250 @default.
- W4300021588 date "1993-01-01" @default.
- W4300021588 modified "2023-10-17" @default.
- W4300021588 title "Symbolic Model Checking" @default.
- W4300021588 doi "https://doi.org/10.1007/978-1-4615-3190-6" @default.
- W4300021588 hasPublicationYear "1993" @default.
- W4300021588 type Work @default.
- W4300021588 citedByCount "1158" @default.
- W4300021588 countsByYear W43000215882012 @default.
- W4300021588 countsByYear W43000215882013 @default.
- W4300021588 countsByYear W43000215882014 @default.
- W4300021588 countsByYear W43000215882015 @default.
- W4300021588 countsByYear W43000215882016 @default.
- W4300021588 countsByYear W43000215882017 @default.
- W4300021588 countsByYear W43000215882018 @default.
- W4300021588 countsByYear W43000215882019 @default.
- W4300021588 countsByYear W43000215882020 @default.
- W4300021588 countsByYear W43000215882021 @default.
- W4300021588 countsByYear W43000215882022 @default.
- W4300021588 countsByYear W43000215882023 @default.
- W4300021588 crossrefType "book" @default.
- W4300021588 hasAuthorship W4300021588A5047507250 @default.
- W4300021588 hasConcept C110251889 @default.
- W4300021588 hasConcept C111498074 @default.
- W4300021588 hasConcept C199360897 @default.
- W4300021588 hasConcept C23123167 @default.
- W4300021588 hasConcept C41008148 @default.
- W4300021588 hasConcept C80444323 @default.
- W4300021588 hasConceptScore W4300021588C110251889 @default.
- W4300021588 hasConceptScore W4300021588C111498074 @default.
- W4300021588 hasConceptScore W4300021588C199360897 @default.
- W4300021588 hasConceptScore W4300021588C23123167 @default.
- W4300021588 hasConceptScore W4300021588C41008148 @default.
- W4300021588 hasConceptScore W4300021588C80444323 @default.
- W4300021588 hasLocation W43000215881 @default.
- W4300021588 hasOpenAccess W4300021588 @default.
- W4300021588 hasPrimaryLocation W43000215881 @default.
- W4300021588 hasRelatedWork W1503071078 @default.
- W4300021588 hasRelatedWork W1533943325 @default.
- W4300021588 hasRelatedWork W1539201627 @default.
- W4300021588 hasRelatedWork W1558598345 @default.
- W4300021588 hasRelatedWork W2010729520 @default.
- W4300021588 hasRelatedWork W206281402 @default.
- W4300021588 hasRelatedWork W2079251676 @default.
- W4300021588 hasRelatedWork W2115279934 @default.
- W4300021588 hasRelatedWork W2149299285 @default.
- W4300021588 hasRelatedWork W4235226231 @default.
- W4300021588 isParatext "false" @default.
- W4300021588 isRetracted "false" @default.
- W4300021588 workType "book" @default.