FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W80817093> ?p ?o ?g. }

• W80817093 endingPage "23" @default.
• W80817093 startingPage "9" @default.
• W80817093 created "2016-06-24" @default.
• W80817093 creator A5068991400 @default.
• W80817093 date "2010-01-01" @default.
• W80817093 modified "2023-09-26" @default.
• W80817093 title "Overview of Formal Verification" @default.
• W80817093 cites W1509905890 @default.
• W80817093 cites W1510333080 @default.
• W80817093 cites W1521761735 @default.
• W80817093 cites W1574030932 @default.
• W80817093 cites W1589760516 @default.
• W80817093 cites W1593428110 @default.
• W80817093 cites W1603163314 @default.
• W80817093 cites W1604179706 @default.
• W80817093 cites W1822320350 @default.
• W80817093 cites W1965662337 @default.
• W80817093 cites W1968376266 @default.
• W80817093 cites W1968724907 @default.
• W80817093 cites W1988192943 @default.
• W80817093 cites W1990347565 @default.
• W80817093 cites W1999890019 @default.
• W80817093 cites W2012213337 @default.
• W80817093 cites W2023139438 @default.
• W80817093 cites W2023808162 @default.
• W80817093 cites W2033546932 @default.
• W80817093 cites W2057614488 @default.
• W80817093 cites W2080267935 @default.
• W80817093 cites W2084253396 @default.
• W80817093 cites W2096455207 @default.
• W80817093 cites W2100738443 @default.
• W80817093 cites W2115716046 @default.
• W80817093 cites W2117189826 @default.
• W80817093 cites W2126160338 @default.
• W80817093 cites W2130025446 @default.
• W80817093 cites W2145500708 @default.
• W80817093 cites W2158395308 @default.
• W80817093 cites W2164778826 @default.
• W80817093 cites W2169051420 @default.
• W80817093 cites W2987907651 @default.
• W80817093 cites W4236181424 @default.
• W80817093 cites W4236787623 @default.
• W80817093 cites W4250846042 @default.
• W80817093 cites W4251912342 @default.
• W80817093 cites W4252150051 @default.
• W80817093 cites W4256369010 @default.
• W80817093 cites W4300021588 @default.
• W80817093 doi "https://doi.org/10.1007/978-1-4419-5998-0_2" @default.
• W80817093 hasPublicationYear "2010" @default.
• W80817093 type Work @default.
• W80817093 sameAs 80817093 @default.
• W80817093 citedByCount "1" @default.
• W80817093 countsByYear W808170932018 @default.
• W80817093 crossrefType "book-chapter" @default.
• W80817093 hasAuthorship W80817093A5068991400 @default.
• W80817093 hasConcept C102315432 @default.
• W80817093 hasConcept C108710211 @default.
• W80817093 hasConcept C111472728 @default.
• W80817093 hasConcept C111498074 @default.
• W80817093 hasConcept C111919701 @default.
• W80817093 hasConcept C138885662 @default.
• W80817093 hasConcept C142362112 @default.
• W80817093 hasConcept C144559511 @default.
• W80817093 hasConcept C153349607 @default.
• W80817093 hasConcept C189950617 @default.
• W80817093 hasConcept C199360897 @default.
• W80817093 hasConcept C2524010 @default.
• W80817093 hasConcept C26517878 @default.
• W80817093 hasConcept C2985583900 @default.
• W80817093 hasConcept C33923547 @default.
• W80817093 hasConcept C38652104 @default.
• W80817093 hasConcept C41008148 @default.
• W80817093 hasConcept C558565934 @default.
• W80817093 hasConcept C73301696 @default.
• W80817093 hasConcept C75606506 @default.
• W80817093 hasConcept C80444323 @default.
• W80817093 hasConcept C94461902 @default.
• W80817093 hasConceptScore W80817093C102315432 @default.
• W80817093 hasConceptScore W80817093C108710211 @default.
• W80817093 hasConceptScore W80817093C111472728 @default.
• W80817093 hasConceptScore W80817093C111498074 @default.
• W80817093 hasConceptScore W80817093C111919701 @default.
• W80817093 hasConceptScore W80817093C138885662 @default.
• W80817093 hasConceptScore W80817093C142362112 @default.
• W80817093 hasConceptScore W80817093C144559511 @default.
• W80817093 hasConceptScore W80817093C153349607 @default.
• W80817093 hasConceptScore W80817093C189950617 @default.
• W80817093 hasConceptScore W80817093C199360897 @default.
• W80817093 hasConceptScore W80817093C2524010 @default.
• W80817093 hasConceptScore W80817093C26517878 @default.
• W80817093 hasConceptScore W80817093C2985583900 @default.
• W80817093 hasConceptScore W80817093C33923547 @default.
• W80817093 hasConceptScore W80817093C38652104 @default.
• W80817093 hasConceptScore W80817093C41008148 @default.
• W80817093 hasConceptScore W80817093C558565934 @default.
• W80817093 hasConceptScore W80817093C73301696 @default.
• W80817093 hasConceptScore W80817093C75606506 @default.
• W80817093 hasConceptScore W80817093C80444323 @default.
• W80817093 hasConceptScore W80817093C94461902 @default.
• W80817093 hasLocation W808170931 @default.

• next