FRINK Linked Data Fragments server

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

• W2138475270 endingPage "184" @default.
• W2138475270 startingPage "165" @default.
• W2138475270 created "2016-06-24" @default.
• W2138475270 creator A5038310179 @default.
• W2138475270 creator A5041278586 @default.
• W2138475270 creator A5070926992 @default.
• W2138475270 creator A5087470813 @default.
• W2138475270 date "2004-03-01" @default.
• W2138475270 modified "2023-10-11" @default.
• W2138475270 title "αSPIN: A tool for abstract model checking" @default.
• W2138475270 cites W1487396988 @default.
• W2138475270 cites W1497571013 @default.
• W2138475270 cites W1529042742 @default.
• W2138475270 cites W1534959023 @default.
• W2138475270 cites W1545975048 @default.
• W2138475270 cites W1546544437 @default.
• W2138475270 cites W1553858749 @default.
• W2138475270 cites W1557957257 @default.
• W2138475270 cites W1571968373 @default.
• W2138475270 cites W1582574957 @default.
• W2138475270 cites W1881906100 @default.
• W2138475270 cites W2022460721 @default.
• W2138475270 cites W2040060046 @default.
• W2138475270 cites W2043100293 @default.
• W2138475270 cites W2046160987 @default.
• W2138475270 cites W2054123013 @default.
• W2138475270 cites W2066680644 @default.
• W2138475270 cites W2080593426 @default.
• W2138475270 cites W2082000355 @default.
• W2138475270 cites W2090106217 @default.
• W2138475270 cites W2106098610 @default.
• W2138475270 cites W2108408848 @default.
• W2138475270 cites W2115309705 @default.
• W2138475270 cites W2117189826 @default.
• W2138475270 cites W2131619710 @default.
• W2138475270 cites W2154245484 @default.
• W2138475270 cites W2155800989 @default.
• W2138475270 cites W2158395308 @default.
• W2138475270 cites W2168305880 @default.
• W2138475270 cites W2171427669 @default.
• W2138475270 cites W4213079124 @default.
• W2138475270 cites W4240013487 @default.
• W2138475270 doi "https://doi.org/10.1007/s10009-003-0122-9" @default.
• W2138475270 hasPublicationYear "2004" @default.
• W2138475270 type Work @default.
• W2138475270 sameAs 2138475270 @default.
• W2138475270 citedByCount "24" @default.
• W2138475270 countsByYear W21384752702012 @default.
• W2138475270 countsByYear W21384752702014 @default.
• W2138475270 countsByYear W21384752702015 @default.
• W2138475270 countsByYear W21384752702016 @default.
• W2138475270 countsByYear W21384752702022 @default.
• W2138475270 countsByYear W21384752702023 @default.
• W2138475270 crossrefType "journal-article" @default.
• W2138475270 hasAuthorship W2138475270A5038310179 @default.
• W2138475270 hasAuthorship W2138475270A5041278586 @default.
• W2138475270 hasAuthorship W2138475270A5070926992 @default.
• W2138475270 hasAuthorship W2138475270A5087470813 @default.
• W2138475270 hasConcept C105795698 @default.
• W2138475270 hasConcept C110251889 @default.
• W2138475270 hasConcept C111472728 @default.
• W2138475270 hasConcept C111498074 @default.
• W2138475270 hasConcept C115903868 @default.
• W2138475270 hasConcept C124304363 @default.
• W2138475270 hasConcept C138885662 @default.
• W2138475270 hasConcept C199360897 @default.
• W2138475270 hasConcept C24858836 @default.
• W2138475270 hasConcept C2776329536 @default.
• W2138475270 hasConcept C2777904410 @default.
• W2138475270 hasConcept C30888246 @default.
• W2138475270 hasConcept C33923547 @default.
• W2138475270 hasConcept C41008148 @default.
• W2138475270 hasConcept C48103436 @default.
• W2138475270 hasConcept C72434380 @default.
• W2138475270 hasConcept C75606506 @default.
• W2138475270 hasConcept C80444323 @default.
• W2138475270 hasConceptScore W2138475270C105795698 @default.
• W2138475270 hasConceptScore W2138475270C110251889 @default.
• W2138475270 hasConceptScore W2138475270C111472728 @default.
• W2138475270 hasConceptScore W2138475270C111498074 @default.
• W2138475270 hasConceptScore W2138475270C115903868 @default.
• W2138475270 hasConceptScore W2138475270C124304363 @default.
• W2138475270 hasConceptScore W2138475270C138885662 @default.
• W2138475270 hasConceptScore W2138475270C199360897 @default.
• W2138475270 hasConceptScore W2138475270C24858836 @default.
• W2138475270 hasConceptScore W2138475270C2776329536 @default.
• W2138475270 hasConceptScore W2138475270C2777904410 @default.
• W2138475270 hasConceptScore W2138475270C30888246 @default.
• W2138475270 hasConceptScore W2138475270C33923547 @default.
• W2138475270 hasConceptScore W2138475270C41008148 @default.
• W2138475270 hasConceptScore W2138475270C48103436 @default.
• W2138475270 hasConceptScore W2138475270C72434380 @default.
• W2138475270 hasConceptScore W2138475270C75606506 @default.
• W2138475270 hasConceptScore W2138475270C80444323 @default.
• W2138475270 hasIssue "2-3" @default.
• W2138475270 hasLocation W21384752701 @default.
• W2138475270 hasOpenAccess W2138475270 @default.
• W2138475270 hasPrimaryLocation W21384752701 @default.
• W2138475270 hasRelatedWork W1504525241 @default.
• W2138475270 hasRelatedWork W1529726435 @default.

• next