FRINK Linked Data Fragments server

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

• W2136199343 endingPage "79" @default.
• W2136199343 startingPage "57" @default.
• W2136199343 created "2016-06-24" @default.
• W2136199343 creator A5029610138 @default.
• W2136199343 creator A5045470371 @default.
• W2136199343 creator A5058729606 @default.
• W2136199343 date "2001-05-02" @default.
• W2136199343 modified "2023-09-26" @default.
• W2136199343 title "Directed explicit model checking with HSF-SPIN" @default.
• W2136199343 cites W10206798 @default.
• W2136199343 cites W1503170978 @default.
• W2136199343 cites W1507116188 @default.
• W2136199343 cites W1509439117 @default.
• W2136199343 cites W1530308835 @default.
• W2136199343 cites W1572955246 @default.
• W2136199343 cites W1582950045 @default.
• W2136199343 cites W1583487553 @default.
• W2136199343 cites W1600318488 @default.
• W2136199343 cites W1640973035 @default.
• W2136199343 cites W1822932058 @default.
• W2136199343 cites W1975112016 @default.
• W2136199343 cites W1977553951 @default.
• W2136199343 cites W1979424379 @default.
• W2136199343 cites W1996832037 @default.
• W2136199343 cites W2017008045 @default.
• W2136199343 cites W2023949272 @default.
• W2136199343 cites W2025970201 @default.
• W2136199343 cites W2062111520 @default.
• W2136199343 cites W2067623660 @default.
• W2136199343 cites W2085917651 @default.
• W2136199343 cites W2138620071 @default.
• W2136199343 cites W2150309803 @default.
• W2136199343 cites W2162105624 @default.
• W2136199343 cites W2164989576 @default.
• W2136199343 cites W2169528473 @default.
• W2136199343 cites W2340735175 @default.
• W2136199343 cites W2752885492 @default.
• W2136199343 cites W2913459036 @default.
• W2136199343 doi "https://doi.org/10.5555/380921.380930" @default.
• W2136199343 hasPublicationYear "2001" @default.
• W2136199343 type Work @default.
• W2136199343 sameAs 2136199343 @default.
• W2136199343 citedByCount "60" @default.
• W2136199343 countsByYear W21361993432012 @default.
• W2136199343 countsByYear W21361993432014 @default.
• W2136199343 countsByYear W21361993432016 @default.
• W2136199343 crossrefType "proceedings-article" @default.
• W2136199343 hasAuthorship W2136199343A5029610138 @default.
• W2136199343 hasAuthorship W2136199343A5045470371 @default.
• W2136199343 hasAuthorship W2136199343A5058729606 @default.
• W2136199343 hasConcept C105795698 @default.
• W2136199343 hasConcept C110251889 @default.
• W2136199343 hasConcept C111919701 @default.
• W2136199343 hasConcept C11413529 @default.
• W2136199343 hasConcept C118615104 @default.
• W2136199343 hasConcept C127705205 @default.
• W2136199343 hasConcept C15569618 @default.
• W2136199343 hasConcept C162838799 @default.
• W2136199343 hasConcept C165464430 @default.
• W2136199343 hasConcept C177264268 @default.
• W2136199343 hasConcept C199360897 @default.
• W2136199343 hasConcept C2776329536 @default.
• W2136199343 hasConcept C33923547 @default.
• W2136199343 hasConcept C41008148 @default.
• W2136199343 hasConcept C48103436 @default.
• W2136199343 hasConcept C72434380 @default.
• W2136199343 hasConcept C80444323 @default.
• W2136199343 hasConceptScore W2136199343C105795698 @default.
• W2136199343 hasConceptScore W2136199343C110251889 @default.
• W2136199343 hasConceptScore W2136199343C111919701 @default.
• W2136199343 hasConceptScore W2136199343C11413529 @default.
• W2136199343 hasConceptScore W2136199343C118615104 @default.
• W2136199343 hasConceptScore W2136199343C127705205 @default.
• W2136199343 hasConceptScore W2136199343C15569618 @default.
• W2136199343 hasConceptScore W2136199343C162838799 @default.
• W2136199343 hasConceptScore W2136199343C165464430 @default.
• W2136199343 hasConceptScore W2136199343C177264268 @default.
• W2136199343 hasConceptScore W2136199343C199360897 @default.
• W2136199343 hasConceptScore W2136199343C2776329536 @default.
• W2136199343 hasConceptScore W2136199343C33923547 @default.
• W2136199343 hasConceptScore W2136199343C41008148 @default.
• W2136199343 hasConceptScore W2136199343C48103436 @default.
• W2136199343 hasConceptScore W2136199343C72434380 @default.
• W2136199343 hasConceptScore W2136199343C80444323 @default.
• W2136199343 hasLocation W21361993431 @default.
• W2136199343 hasOpenAccess W2136199343 @default.
• W2136199343 hasPrimaryLocation W21361993431 @default.
• W2136199343 hasRelatedWork W1503170978 @default.
• W2136199343 hasRelatedWork W1539432158 @default.
• W2136199343 hasRelatedWork W1568729458 @default.
• W2136199343 hasRelatedWork W1588201901 @default.
• W2136199343 hasRelatedWork W1646038686 @default.
• W2136199343 hasRelatedWork W1822932058 @default.
• W2136199343 hasRelatedWork W1943502734 @default.
• W2136199343 hasRelatedWork W1975112016 @default.
• W2136199343 hasRelatedWork W2006406722 @default.
• W2136199343 hasRelatedWork W2036802481 @default.
• W2136199343 hasRelatedWork W2061438988 @default.
• W2136199343 hasRelatedWork W2080267935 @default.
• W2136199343 hasRelatedWork W2080593426 @default.

• next