FRINK Linked Data Fragments server

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

• W2067553240 endingPage "261" @default.
• W2067553240 startingPage "235" @default.
• W2067553240 created "2016-06-24" @default.
• W2067553240 creator A5020073000 @default.
• W2067553240 date "1996-11-01" @default.
• W2067553240 modified "2023-09-26" @default.
• W2067553240 title "The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees" @default.
• W2067553240 cites W1543208154 @default.
• W2067553240 cites W1563563952 @default.
• W2067553240 cites W1587972919 @default.
• W2067553240 cites W1678960070 @default.
• W2067553240 cites W1885303164 @default.
• W2067553240 cites W1965552673 @default.
• W2067553240 cites W1976494984 @default.
• W2067553240 cites W1978469611 @default.
• W2067553240 cites W1979290877 @default.
• W2067553240 cites W1980818933 @default.
• W2067553240 cites W1982487869 @default.
• W2067553240 cites W1995413214 @default.
• W2067553240 cites W2006159725 @default.
• W2067553240 cites W2018229346 @default.
• W2067553240 cites W2040864852 @default.
• W2067553240 cites W2042151854 @default.
• W2067553240 cites W2042492244 @default.
• W2067553240 cites W2044942784 @default.
• W2067553240 cites W2068374794 @default.
• W2067553240 cites W2074304694 @default.
• W2067553240 cites W2075585771 @default.
• W2067553240 cites W2100612373 @default.
• W2067553240 cites W2114341098 @default.
• W2067553240 cites W2116965039 @default.
• W2067553240 cites W2122215370 @default.
• W2067553240 cites W2124649850 @default.
• W2067553240 cites W2125831829 @default.
• W2067553240 cites W2133518331 @default.
• W2067553240 cites W2138721929 @default.
• W2067553240 cites W2148333393 @default.
• W2067553240 cites W2149614712 @default.
• W2067553240 cites W2164501290 @default.
• W2067553240 cites W2171955286 @default.
• W2067553240 cites W2293400264 @default.
• W2067553240 cites W4231791389 @default.
• W2067553240 cites W4253257709 @default.
• W2067553240 doi "https://doi.org/10.1007/bf00122083" @default.
• W2067553240 hasPublicationYear "1996" @default.
• W2067553240 type Work @default.
• W2067553240 sameAs 2067553240 @default.
• W2067553240 citedByCount "0" @default.
• W2067553240 crossrefType "journal-article" @default.
• W2067553240 hasAuthorship W2067553240A5020073000 @default.
• W2067553240 hasConcept C101468663 @default.
• W2067553240 hasConcept C111472728 @default.
• W2067553240 hasConcept C111498074 @default.
• W2067553240 hasConcept C11413529 @default.
• W2067553240 hasConcept C124304363 @default.
• W2067553240 hasConcept C138885662 @default.
• W2067553240 hasConcept C154945302 @default.
• W2067553240 hasConcept C162324750 @default.
• W2067553240 hasConcept C199360897 @default.
• W2067553240 hasConcept C31170391 @default.
• W2067553240 hasConcept C34447519 @default.
• W2067553240 hasConcept C41008148 @default.
• W2067553240 hasConcept C49937458 @default.
• W2067553240 hasConcept C55439883 @default.
• W2067553240 hasConcept C75606506 @default.
• W2067553240 hasConcept C80444323 @default.
• W2067553240 hasConceptScore W2067553240C101468663 @default.
• W2067553240 hasConceptScore W2067553240C111472728 @default.
• W2067553240 hasConceptScore W2067553240C111498074 @default.
• W2067553240 hasConceptScore W2067553240C11413529 @default.
• W2067553240 hasConceptScore W2067553240C124304363 @default.
• W2067553240 hasConceptScore W2067553240C138885662 @default.
• W2067553240 hasConceptScore W2067553240C154945302 @default.
• W2067553240 hasConceptScore W2067553240C162324750 @default.
• W2067553240 hasConceptScore W2067553240C199360897 @default.
• W2067553240 hasConceptScore W2067553240C31170391 @default.
• W2067553240 hasConceptScore W2067553240C34447519 @default.
• W2067553240 hasConceptScore W2067553240C41008148 @default.
• W2067553240 hasConceptScore W2067553240C49937458 @default.
• W2067553240 hasConceptScore W2067553240C55439883 @default.
• W2067553240 hasConceptScore W2067553240C75606506 @default.
• W2067553240 hasConceptScore W2067553240C80444323 @default.
• W2067553240 hasIssue "3" @default.
• W2067553240 hasLocation W20675532401 @default.
• W2067553240 hasOpenAccess W2067553240 @default.
• W2067553240 hasPrimaryLocation W20675532401 @default.
• W2067553240 hasRelatedWork W1517976619 @default.
• W2067553240 hasRelatedWork W1601757209 @default.
• W2067553240 hasRelatedWork W1614816533 @default.
• W2067553240 hasRelatedWork W1977144985 @default.
• W2067553240 hasRelatedWork W2026335217 @default.
• W2067553240 hasRelatedWork W2099824516 @default.
• W2067553240 hasRelatedWork W2146167845 @default.
• W2067553240 hasRelatedWork W2149609054 @default.
• W2067553240 hasRelatedWork W3091728393 @default.
• W2067553240 hasRelatedWork W3190680636 @default.
• W2067553240 hasVolume "9" @default.
• W2067553240 isParatext "false" @default.
• W2067553240 isRetracted "false" @default.
• W2067553240 magId "2067553240" @default.

• next