FRINK Linked Data Fragments server

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

• W4226030822 endingPage "424" @default.
• W4226030822 startingPage "400" @default.
• W4226030822 created "2022-05-05" @default.
• W4226030822 creator A5016315666 @default.
• W4226030822 creator A5059259933 @default.
• W4226030822 creator A5083089425 @default.
• W4226030822 creator A5084404670 @default.
• W4226030822 date "2022-01-01" @default.
• W4226030822 modified "2023-09-24" @default.
• W4226030822 title "Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate" @default.
• W4226030822 cites W1043621486 @default.
• W4226030822 cites W147489498 @default.
• W4226030822 cites W1490356539 @default.
• W4226030822 cites W1493542872 @default.
• W4226030822 cites W1504954107 @default.
• W4226030822 cites W1523442991 @default.
• W4226030822 cites W1566086941 @default.
• W4226030822 cites W1600817717 @default.
• W4226030822 cites W1600980603 @default.
• W4226030822 cites W1719093023 @default.
• W4226030822 cites W1893845610 @default.
• W4226030822 cites W192267309 @default.
• W4226030822 cites W1990838770 @default.
• W4226030822 cites W1999288406 @default.
• W4226030822 cites W2006503929 @default.
• W4226030822 cites W2016300863 @default.
• W4226030822 cites W2024875714 @default.
• W4226030822 cites W2036316394 @default.
• W4226030822 cites W2065675749 @default.
• W4226030822 cites W2086147982 @default.
• W4226030822 cites W2087019828 @default.
• W4226030822 cites W2093709900 @default.
• W4226030822 cites W2097253829 @default.
• W4226030822 cites W2114647187 @default.
• W4226030822 cites W2117009500 @default.
• W4226030822 cites W2132092437 @default.
• W4226030822 cites W2147540761 @default.
• W4226030822 cites W2158110105 @default.
• W4226030822 cites W2171480813 @default.
• W4226030822 cites W2461613086 @default.
• W4226030822 cites W2534587298 @default.
• W4226030822 cites W2740995941 @default.
• W4226030822 cites W2778029444 @default.
• W4226030822 cites W2887814217 @default.
• W4226030822 cites W2955355791 @default.
• W4226030822 cites W2980138239 @default.
• W4226030822 cites W2998259759 @default.
• W4226030822 cites W3009455989 @default.
• W4226030822 cites W3101794866 @default.
• W4226030822 cites W3107210824 @default.
• W4226030822 cites W4226030822 @default.
• W4226030822 cites W4232306982 @default.
• W4226030822 cites W4232995102 @default.
• W4226030822 cites W4243889443 @default.
• W4226030822 cites W4246017475 @default.
• W4226030822 cites W4247239640 @default.
• W4226030822 cites W4250955960 @default.
• W4226030822 cites W4253911406 @default.
• W4226030822 doi "https://doi.org/10.1007/978-3-030-94583-1_20" @default.
• W4226030822 hasPublicationYear "2022" @default.
• W4226030822 type Work @default.
• W4226030822 citedByCount "1" @default.
• W4226030822 countsByYear W42260308222022 @default.
• W4226030822 crossrefType "book-chapter" @default.
• W4226030822 hasAuthorship W4226030822A5016315666 @default.
• W4226030822 hasAuthorship W4226030822A5059259933 @default.
• W4226030822 hasAuthorship W4226030822A5083089425 @default.
• W4226030822 hasAuthorship W4226030822A5084404670 @default.
• W4226030822 hasConcept C103613024 @default.
• W4226030822 hasConcept C110251889 @default.
• W4226030822 hasConcept C111335779 @default.
• W4226030822 hasConcept C120314980 @default.
• W4226030822 hasConcept C121332964 @default.
• W4226030822 hasConcept C158379750 @default.
• W4226030822 hasConcept C173608175 @default.
• W4226030822 hasConcept C193702766 @default.
• W4226030822 hasConcept C199360897 @default.
• W4226030822 hasConcept C22927095 @default.
• W4226030822 hasConcept C2524010 @default.
• W4226030822 hasConcept C2779662365 @default.
• W4226030822 hasConcept C31258907 @default.
• W4226030822 hasConcept C33923547 @default.
• W4226030822 hasConcept C41008148 @default.
• W4226030822 hasConcept C48103436 @default.
• W4226030822 hasConcept C62520636 @default.
• W4226030822 hasConcept C68339613 @default.
• W4226030822 hasConcept C80444323 @default.
• W4226030822 hasConcept C94633896 @default.
• W4226030822 hasConceptScore W4226030822C103613024 @default.
• W4226030822 hasConceptScore W4226030822C110251889 @default.
• W4226030822 hasConceptScore W4226030822C111335779 @default.
• W4226030822 hasConceptScore W4226030822C120314980 @default.
• W4226030822 hasConceptScore W4226030822C121332964 @default.
• W4226030822 hasConceptScore W4226030822C158379750 @default.
• W4226030822 hasConceptScore W4226030822C173608175 @default.
• W4226030822 hasConceptScore W4226030822C193702766 @default.
• W4226030822 hasConceptScore W4226030822C199360897 @default.
• W4226030822 hasConceptScore W4226030822C22927095 @default.
• W4226030822 hasConceptScore W4226030822C2524010 @default.
• W4226030822 hasConceptScore W4226030822C2779662365 @default.

• next