Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495488059> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1495488059 endingPage "174" @default.
- W1495488059 startingPage "157" @default.
- W1495488059 created "2016-06-24" @default.
- W1495488059 creator A5021247044 @default.
- W1495488059 date "2005-01-01" @default.
- W1495488059 modified "2023-09-27" @default.
- W1495488059 title "An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL" @default.
- W1495488059 cites W1490835877 @default.
- W1495488059 cites W1552149167 @default.
- W1495488059 cites W1593704070 @default.
- W1495488059 cites W1741528175 @default.
- W1495488059 cites W1753021227 @default.
- W1495488059 cites W1860410757 @default.
- W1495488059 cites W2048827942 @default.
- W1495488059 cites W4256124958 @default.
- W1495488059 cites W4300128858 @default.
- W1495488059 doi "https://doi.org/10.1007/11548133_11" @default.
- W1495488059 hasPublicationYear "2005" @default.
- W1495488059 type Work @default.
- W1495488059 sameAs 1495488059 @default.
- W1495488059 citedByCount "9" @default.
- W1495488059 countsByYear W14954880592013 @default.
- W1495488059 countsByYear W14954880592021 @default.
- W1495488059 crossrefType "book-chapter" @default.
- W1495488059 hasAuthorship W1495488059A5021247044 @default.
- W1495488059 hasConcept C134306372 @default.
- W1495488059 hasConcept C149635348 @default.
- W1495488059 hasConcept C17435882 @default.
- W1495488059 hasConcept C199360897 @default.
- W1495488059 hasConcept C33923547 @default.
- W1495488059 hasConcept C41008148 @default.
- W1495488059 hasConcept C55439883 @default.
- W1495488059 hasConcept C80444323 @default.
- W1495488059 hasConcept C9376300 @default.
- W1495488059 hasConcept C9390403 @default.
- W1495488059 hasConceptScore W1495488059C134306372 @default.
- W1495488059 hasConceptScore W1495488059C149635348 @default.
- W1495488059 hasConceptScore W1495488059C17435882 @default.
- W1495488059 hasConceptScore W1495488059C199360897 @default.
- W1495488059 hasConceptScore W1495488059C33923547 @default.
- W1495488059 hasConceptScore W1495488059C41008148 @default.
- W1495488059 hasConceptScore W1495488059C55439883 @default.
- W1495488059 hasConceptScore W1495488059C80444323 @default.
- W1495488059 hasConceptScore W1495488059C9376300 @default.
- W1495488059 hasConceptScore W1495488059C9390403 @default.
- W1495488059 hasLocation W14954880591 @default.
- W1495488059 hasOpenAccess W1495488059 @default.
- W1495488059 hasPrimaryLocation W14954880591 @default.
- W1495488059 hasRelatedWork W1459875537 @default.
- W1495488059 hasRelatedWork W2168280567 @default.
- W1495488059 hasRelatedWork W2536902987 @default.
- W1495488059 hasRelatedWork W2579160749 @default.
- W1495488059 hasRelatedWork W269793326 @default.
- W1495488059 hasRelatedWork W3036611088 @default.
- W1495488059 hasRelatedWork W3048095579 @default.
- W1495488059 hasRelatedWork W3125694439 @default.
- W1495488059 hasRelatedWork W34452851 @default.
- W1495488059 hasRelatedWork W4283765998 @default.
- W1495488059 isParatext "false" @default.
- W1495488059 isRetracted "false" @default.
- W1495488059 magId "1495488059" @default.
- W1495488059 workType "book-chapter" @default.