FRINK Linked Data Fragments server

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

• W565540570 abstract "Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). A challenge is to design verification methods to ensure correctness of software.We focus on mo ..." @default.
• W565540570 created "2016-06-24" @default.
• W565540570 creator A5033803768 @default.
• W565540570 date "2006-01-01" @default.
• W565540570 modified "2023-09-27" @default.
• W565540570 title "Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods" @default.
• W565540570 cites W101041452 @default.
• W565540570 cites W107427404 @default.
• W565540570 cites W1483156373 @default.
• W565540570 cites W1484364085 @default.
• W565540570 cites W1515514400 @default.
• W565540570 cites W1528441743 @default.
• W565540570 cites W1529890132 @default.
• W565540570 cites W1548575501 @default.
• W565540570 cites W1561267729 @default.
• W565540570 cites W1569051713 @default.
• W565540570 cites W1582439588 @default.
• W565540570 cites W1582650717 @default.
• W565540570 cites W1586140256 @default.
• W565540570 cites W1593428110 @default.
• W565540570 cites W1596552075 @default.
• W565540570 cites W1604627363 @default.
• W565540570 cites W1839466040 @default.
• W565540570 cites W1853488118 @default.
• W565540570 cites W1916487582 @default.
• W565540570 cites W1980330971 @default.
• W565540570 cites W1985665832 @default.
• W565540570 cites W1987814265 @default.
• W565540570 cites W2007464118 @default.
• W565540570 cites W2007808472 @default.
• W565540570 cites W2012140001 @default.
• W565540570 cites W2016300863 @default.
• W565540570 cites W2019881090 @default.
• W565540570 cites W2036526834 @default.
• W565540570 cites W2052306562 @default.
• W565540570 cites W2061438988 @default.
• W565540570 cites W2068361557 @default.
• W565540570 cites W2080267935 @default.
• W565540570 cites W2089139117 @default.
• W565540570 cites W2101508170 @default.
• W565540570 cites W2105357036 @default.
• W565540570 cites W2108408848 @default.
• W565540570 cites W2115457987 @default.
• W565540570 cites W2116519336 @default.
• W565540570 cites W2117189826 @default.
• W565540570 cites W2123160677 @default.
• W565540570 cites W2126160338 @default.
• W565540570 cites W2129335898 @default.
• W565540570 cites W2130025446 @default.
• W565540570 cites W2139808952 @default.
• W565540570 cites W2140735019 @default.
• W565540570 cites W2144965436 @default.
• W565540570 cites W2158395308 @default.
• W565540570 cites W2295903414 @default.
• W565540570 cites W2912813000 @default.
• W565540570 cites W2914011863 @default.
• W565540570 hasPublicationYear "2006" @default.
• W565540570 type Work @default.
• W565540570 sameAs 565540570 @default.
• W565540570 citedByCount "0" @default.
• W565540570 crossrefType "journal-article" @default.
• W565540570 hasAuthorship W565540570A5033803768 @default.
• W565540570 hasConcept C110251889 @default.
• W565540570 hasConcept C111498074 @default.
• W565540570 hasConcept C11413529 @default.
• W565540570 hasConcept C115903868 @default.
• W565540570 hasConcept C120665830 @default.
• W565540570 hasConcept C121332964 @default.
• W565540570 hasConcept C149091818 @default.
• W565540570 hasConcept C165464430 @default.
• W565540570 hasConcept C186846655 @default.
• W565540570 hasConcept C192209626 @default.
• W565540570 hasConcept C199360897 @default.
• W565540570 hasConcept C2777904410 @default.
• W565540570 hasConcept C33054407 @default.
• W565540570 hasConcept C41008148 @default.
• W565540570 hasConcept C55439883 @default.
• W565540570 hasConcept C62460635 @default.
• W565540570 hasConcept C75606506 @default.
• W565540570 hasConcept C80444323 @default.
• W565540570 hasConceptScore W565540570C110251889 @default.
• W565540570 hasConceptScore W565540570C111498074 @default.
• W565540570 hasConceptScore W565540570C11413529 @default.
• W565540570 hasConceptScore W565540570C115903868 @default.
• W565540570 hasConceptScore W565540570C120665830 @default.
• W565540570 hasConceptScore W565540570C121332964 @default.
• W565540570 hasConceptScore W565540570C149091818 @default.
• W565540570 hasConceptScore W565540570C165464430 @default.
• W565540570 hasConceptScore W565540570C186846655 @default.
• W565540570 hasConceptScore W565540570C192209626 @default.
• W565540570 hasConceptScore W565540570C199360897 @default.
• W565540570 hasConceptScore W565540570C2777904410 @default.
• W565540570 hasConceptScore W565540570C33054407 @default.
• W565540570 hasConceptScore W565540570C41008148 @default.
• W565540570 hasConceptScore W565540570C55439883 @default.
• W565540570 hasConceptScore W565540570C62460635 @default.
• W565540570 hasConceptScore W565540570C75606506 @default.
• W565540570 hasConceptScore W565540570C80444323 @default.
• W565540570 hasLocation W5655405701 @default.
• W565540570 hasOpenAccess W565540570 @default.

• next