Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569203277> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1569203277 created "2016-06-24" @default.
- W1569203277 creator A5075454664 @default.
- W1569203277 date "1990-01-01" @default.
- W1569203277 modified "2023-09-23" @default.
- W1569203277 title "Automatic Verification Methods for Finite State Systems" @default.
- W1569203277 doi "https://doi.org/10.1007/3-540-52148-8" @default.
- W1569203277 hasPublicationYear "1990" @default.
- W1569203277 type Work @default.
- W1569203277 sameAs 1569203277 @default.
- W1569203277 citedByCount "22" @default.
- W1569203277 countsByYear W15692032772012 @default.
- W1569203277 countsByYear W15692032772014 @default.
- W1569203277 countsByYear W15692032772018 @default.
- W1569203277 crossrefType "book" @default.
- W1569203277 hasAuthorship W1569203277A5075454664 @default.
- W1569203277 hasBestOaLocation W15692032771 @default.
- W1569203277 hasConcept C119857082 @default.
- W1569203277 hasConcept C167822520 @default.
- W1569203277 hasConcept C199360897 @default.
- W1569203277 hasConcept C2983497884 @default.
- W1569203277 hasConcept C41008148 @default.
- W1569203277 hasConcept C48103436 @default.
- W1569203277 hasConcept C80444323 @default.
- W1569203277 hasConcept C98763669 @default.
- W1569203277 hasConceptScore W1569203277C119857082 @default.
- W1569203277 hasConceptScore W1569203277C167822520 @default.
- W1569203277 hasConceptScore W1569203277C199360897 @default.
- W1569203277 hasConceptScore W1569203277C2983497884 @default.
- W1569203277 hasConceptScore W1569203277C41008148 @default.
- W1569203277 hasConceptScore W1569203277C48103436 @default.
- W1569203277 hasConceptScore W1569203277C80444323 @default.
- W1569203277 hasConceptScore W1569203277C98763669 @default.
- W1569203277 hasLocation W15692032771 @default.
- W1569203277 hasOpenAccess W1569203277 @default.
- W1569203277 hasPrimaryLocation W15692032771 @default.
- W1569203277 hasRelatedWork W1480600454 @default.
- W1569203277 hasRelatedWork W1482233117 @default.
- W1569203277 hasRelatedWork W1488858096 @default.
- W1569203277 hasRelatedWork W1503973138 @default.
- W1569203277 hasRelatedWork W1556566737 @default.
- W1569203277 hasRelatedWork W1589421353 @default.
- W1569203277 hasRelatedWork W1874996599 @default.
- W1569203277 hasRelatedWork W1959890433 @default.
- W1569203277 hasRelatedWork W1992006255 @default.
- W1569203277 hasRelatedWork W2000947342 @default.
- W1569203277 hasRelatedWork W2023499821 @default.
- W1569203277 hasRelatedWork W2061438988 @default.
- W1569203277 hasRelatedWork W2080267935 @default.
- W1569203277 hasRelatedWork W2101508170 @default.
- W1569203277 hasRelatedWork W2130773092 @default.
- W1569203277 hasRelatedWork W2148106163 @default.
- W1569203277 hasRelatedWork W2153439859 @default.
- W1569203277 hasRelatedWork W2476089118 @default.
- W1569203277 hasRelatedWork W2913459036 @default.
- W1569203277 hasRelatedWork W2914011863 @default.
- W1569203277 isParatext "false" @default.
- W1569203277 isRetracted "false" @default.
- W1569203277 magId "1569203277" @default.
- W1569203277 workType "book" @default.