Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285251330> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4285251330 endingPage "145" @default.
- W4285251330 startingPage "129" @default.
- W4285251330 created "2022-07-14" @default.
- W4285251330 creator A5058847017 @default.
- W4285251330 date "2022-01-01" @default.
- W4285251330 modified "2023-10-10" @default.
- W4285251330 title "Operation Caching and State Compression for Model Checking of High-Level Models" @default.
- W4285251330 cites W1481983260 @default.
- W4285251330 cites W1546692412 @default.
- W4285251330 cites W1794553731 @default.
- W4285251330 cites W1850929791 @default.
- W4285251330 cites W1864649459 @default.
- W4285251330 cites W1907309577 @default.
- W4285251330 cites W2012685447 @default.
- W4285251330 cites W2031111226 @default.
- W4285251330 cites W2054273693 @default.
- W4285251330 cites W2115309705 @default.
- W4285251330 cites W2125047630 @default.
- W4285251330 cites W2139481507 @default.
- W4285251330 cites W2166801043 @default.
- W4285251330 cites W2293612389 @default.
- W4285251330 cites W2298646609 @default.
- W4285251330 cites W2401804139 @default.
- W4285251330 cites W2746677163 @default.
- W4285251330 cites W2804745155 @default.
- W4285251330 cites W2885654672 @default.
- W4285251330 cites W3027733953 @default.
- W4285251330 cites W308378599 @default.
- W4285251330 cites W3086159896 @default.
- W4285251330 cites W3097900393 @default.
- W4285251330 cites W3104408942 @default.
- W4285251330 cites W3165192722 @default.
- W4285251330 cites W4244819751 @default.
- W4285251330 cites W4319866872 @default.
- W4285251330 doi "https://doi.org/10.1007/978-3-031-07727-2_8" @default.
- W4285251330 hasPublicationYear "2022" @default.
- W4285251330 type Work @default.
- W4285251330 citedByCount "3" @default.
- W4285251330 countsByYear W42852513302022 @default.
- W4285251330 countsByYear W42852513302023 @default.
- W4285251330 crossrefType "book-chapter" @default.
- W4285251330 hasAuthorship W4285251330A5058847017 @default.
- W4285251330 hasConcept C110251889 @default.
- W4285251330 hasConcept C111335779 @default.
- W4285251330 hasConcept C120314980 @default.
- W4285251330 hasConcept C13280743 @default.
- W4285251330 hasConcept C159985019 @default.
- W4285251330 hasConcept C177264268 @default.
- W4285251330 hasConcept C185798385 @default.
- W4285251330 hasConcept C192562407 @default.
- W4285251330 hasConcept C199360897 @default.
- W4285251330 hasConcept C204323151 @default.
- W4285251330 hasConcept C205649164 @default.
- W4285251330 hasConcept C2524010 @default.
- W4285251330 hasConcept C33923547 @default.
- W4285251330 hasConcept C41008148 @default.
- W4285251330 hasConcept C48103436 @default.
- W4285251330 hasConcept C80444323 @default.
- W4285251330 hasConcept C94633896 @default.
- W4285251330 hasConceptScore W4285251330C110251889 @default.
- W4285251330 hasConceptScore W4285251330C111335779 @default.
- W4285251330 hasConceptScore W4285251330C120314980 @default.
- W4285251330 hasConceptScore W4285251330C13280743 @default.
- W4285251330 hasConceptScore W4285251330C159985019 @default.
- W4285251330 hasConceptScore W4285251330C177264268 @default.
- W4285251330 hasConceptScore W4285251330C185798385 @default.
- W4285251330 hasConceptScore W4285251330C192562407 @default.
- W4285251330 hasConceptScore W4285251330C199360897 @default.
- W4285251330 hasConceptScore W4285251330C204323151 @default.
- W4285251330 hasConceptScore W4285251330C205649164 @default.
- W4285251330 hasConceptScore W4285251330C2524010 @default.
- W4285251330 hasConceptScore W4285251330C33923547 @default.
- W4285251330 hasConceptScore W4285251330C41008148 @default.
- W4285251330 hasConceptScore W4285251330C48103436 @default.
- W4285251330 hasConceptScore W4285251330C80444323 @default.
- W4285251330 hasConceptScore W4285251330C94633896 @default.
- W4285251330 hasLocation W42852513301 @default.
- W4285251330 hasOpenAccess W4285251330 @default.
- W4285251330 hasPrimaryLocation W42852513301 @default.
- W4285251330 hasRelatedWork W1535497513 @default.
- W4285251330 hasRelatedWork W1546995467 @default.
- W4285251330 hasRelatedWork W1868864221 @default.
- W4285251330 hasRelatedWork W2145727812 @default.
- W4285251330 hasRelatedWork W2347356152 @default.
- W4285251330 hasRelatedWork W2378602799 @default.
- W4285251330 hasRelatedWork W2521118016 @default.
- W4285251330 hasRelatedWork W2960238303 @default.
- W4285251330 hasRelatedWork W2970425440 @default.
- W4285251330 hasRelatedWork W2527288790 @default.
- W4285251330 isParatext "false" @default.
- W4285251330 isRetracted "false" @default.
- W4285251330 workType "book-chapter" @default.