Matches in SemOpenAlex for { <https://semopenalex.org/work/W49671750> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W49671750 endingPage "302" @default.
- W49671750 startingPage "268" @default.
- W49671750 created "2016-06-24" @default.
- W49671750 creator A5003430968 @default.
- W49671750 creator A5006689325 @default.
- W49671750 date "1989-01-01" @default.
- W49671750 modified "2023-09-23" @default.
- W49671750 title "Formal Verification in m-EVES" @default.
- W49671750 cites W2009992143 @default.
- W49671750 cites W2015874281 @default.
- W49671750 cites W2096536569 @default.
- W49671750 cites W2132302503 @default.
- W49671750 doi "https://doi.org/10.1007/978-1-4612-3658-0_6" @default.
- W49671750 hasPublicationYear "1989" @default.
- W49671750 type Work @default.
- W49671750 sameAs 49671750 @default.
- W49671750 citedByCount "4" @default.
- W49671750 crossrefType "book-chapter" @default.
- W49671750 hasAuthorship W49671750A5003430968 @default.
- W49671750 hasAuthorship W49671750A5006689325 @default.
- W49671750 hasConcept C108710211 @default.
- W49671750 hasConcept C111472728 @default.
- W49671750 hasConcept C138885662 @default.
- W49671750 hasConcept C159718280 @default.
- W49671750 hasConcept C199343813 @default.
- W49671750 hasConcept C199360897 @default.
- W49671750 hasConcept C206880738 @default.
- W49671750 hasConcept C2524010 @default.
- W49671750 hasConcept C2777686260 @default.
- W49671750 hasConcept C2780586882 @default.
- W49671750 hasConcept C33923547 @default.
- W49671750 hasConcept C41008148 @default.
- W49671750 hasConcept C71924100 @default.
- W49671750 hasConcept C80444323 @default.
- W49671750 hasConceptScore W49671750C108710211 @default.
- W49671750 hasConceptScore W49671750C111472728 @default.
- W49671750 hasConceptScore W49671750C138885662 @default.
- W49671750 hasConceptScore W49671750C159718280 @default.
- W49671750 hasConceptScore W49671750C199343813 @default.
- W49671750 hasConceptScore W49671750C199360897 @default.
- W49671750 hasConceptScore W49671750C206880738 @default.
- W49671750 hasConceptScore W49671750C2524010 @default.
- W49671750 hasConceptScore W49671750C2777686260 @default.
- W49671750 hasConceptScore W49671750C2780586882 @default.
- W49671750 hasConceptScore W49671750C33923547 @default.
- W49671750 hasConceptScore W49671750C41008148 @default.
- W49671750 hasConceptScore W49671750C71924100 @default.
- W49671750 hasConceptScore W49671750C80444323 @default.
- W49671750 hasLocation W496717501 @default.
- W49671750 hasOpenAccess W49671750 @default.
- W49671750 hasPrimaryLocation W496717501 @default.
- W49671750 hasRelatedWork W1515169568 @default.
- W49671750 hasRelatedWork W1717165987 @default.
- W49671750 hasRelatedWork W1789702989 @default.
- W49671750 hasRelatedWork W2206711905 @default.
- W49671750 hasRelatedWork W2476186566 @default.
- W49671750 hasRelatedWork W2538657014 @default.
- W49671750 hasRelatedWork W2950961618 @default.
- W49671750 hasRelatedWork W4245884879 @default.
- W49671750 hasRelatedWork W898277466 @default.
- W49671750 hasRelatedWork W94947182 @default.
- W49671750 isParatext "false" @default.
- W49671750 isRetracted "false" @default.
- W49671750 magId "49671750" @default.
- W49671750 workType "book-chapter" @default.