Matches in SemOpenAlex for { <https://semopenalex.org/work/W13271837> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W13271837 endingPage "266" @default.
- W13271837 startingPage "252" @default.
- W13271837 created "2016-06-24" @default.
- W13271837 creator A5001461435 @default.
- W13271837 creator A5073526494 @default.
- W13271837 creator A5085421461 @default.
- W13271837 date "2012-01-01" @default.
- W13271837 modified "2023-09-29" @default.
- W13271837 title "Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs" @default.
- W13271837 cites W1507484312 @default.
- W13271837 cites W1535497513 @default.
- W13271837 cites W1541969962 @default.
- W13271837 cites W1596552075 @default.
- W13271837 cites W1953680156 @default.
- W13271837 cites W1974940962 @default.
- W13271837 cites W2010609147 @default.
- W13271837 cites W2059224852 @default.
- W13271837 cites W2105357036 @default.
- W13271837 cites W2108213427 @default.
- W13271837 cites W2135274583 @default.
- W13271837 cites W2138161962 @default.
- W13271837 cites W2143076515 @default.
- W13271837 cites W2145098440 @default.
- W13271837 cites W2533662917 @default.
- W13271837 cites W4213079124 @default.
- W13271837 cites W4243167850 @default.
- W13271837 cites W4251167975 @default.
- W13271837 doi "https://doi.org/10.1007/978-3-642-28891-3_25" @default.
- W13271837 hasPublicationYear "2012" @default.
- W13271837 type Work @default.
- W13271837 sameAs 13271837 @default.
- W13271837 citedByCount "7" @default.
- W13271837 countsByYear W132718372013 @default.
- W13271837 countsByYear W132718372014 @default.
- W13271837 countsByYear W132718372015 @default.
- W13271837 countsByYear W132718372017 @default.
- W13271837 countsByYear W132718372018 @default.
- W13271837 crossrefType "book-chapter" @default.
- W13271837 hasAuthorship W13271837A5001461435 @default.
- W13271837 hasAuthorship W13271837A5073526494 @default.
- W13271837 hasAuthorship W13271837A5085421461 @default.
- W13271837 hasConcept C110251889 @default.
- W13271837 hasConcept C111919701 @default.
- W13271837 hasConcept C120314980 @default.
- W13271837 hasConcept C122783720 @default.
- W13271837 hasConcept C136085584 @default.
- W13271837 hasConcept C138101251 @default.
- W13271837 hasConcept C173608175 @default.
- W13271837 hasConcept C176649486 @default.
- W13271837 hasConcept C199360897 @default.
- W13271837 hasConcept C2777145635 @default.
- W13271837 hasConcept C39528615 @default.
- W13271837 hasConcept C41008148 @default.
- W13271837 hasConcept C51290061 @default.
- W13271837 hasConcept C56348326 @default.
- W13271837 hasConceptScore W13271837C110251889 @default.
- W13271837 hasConceptScore W13271837C111919701 @default.
- W13271837 hasConceptScore W13271837C120314980 @default.
- W13271837 hasConceptScore W13271837C122783720 @default.
- W13271837 hasConceptScore W13271837C136085584 @default.
- W13271837 hasConceptScore W13271837C138101251 @default.
- W13271837 hasConceptScore W13271837C173608175 @default.
- W13271837 hasConceptScore W13271837C176649486 @default.
- W13271837 hasConceptScore W13271837C199360897 @default.
- W13271837 hasConceptScore W13271837C2777145635 @default.
- W13271837 hasConceptScore W13271837C39528615 @default.
- W13271837 hasConceptScore W13271837C41008148 @default.
- W13271837 hasConceptScore W13271837C51290061 @default.
- W13271837 hasConceptScore W13271837C56348326 @default.
- W13271837 hasLocation W132718371 @default.
- W13271837 hasOpenAccess W13271837 @default.
- W13271837 hasPrimaryLocation W132718371 @default.
- W13271837 hasRelatedWork W13271837 @default.
- W13271837 hasRelatedWork W1507204039 @default.
- W13271837 hasRelatedWork W1515791128 @default.
- W13271837 hasRelatedWork W154693229 @default.
- W13271837 hasRelatedWork W1594563977 @default.
- W13271837 hasRelatedWork W1965681098 @default.
- W13271837 hasRelatedWork W2018297885 @default.
- W13271837 hasRelatedWork W2998595860 @default.
- W13271837 hasRelatedWork W335485029 @default.
- W13271837 hasRelatedWork W4245681215 @default.
- W13271837 isParatext "false" @default.
- W13271837 isRetracted "false" @default.
- W13271837 magId "13271837" @default.
- W13271837 workType "book-chapter" @default.