FRINK Linked Data Fragments server

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

• W2023448554 abstract "Model checking is an established method for verifying behavioral properties of system models. But model checkers tend to support low-level modeling languages that require intricate models to represent even the simplest systems. Modeling complexity arises in part from the need to encode domain knowledge at relatively low levels of abstraction." @default.
• W2023448554 created "2016-06-24" @default.
• W2023448554 creator A5009340852 @default.
• W2023448554 creator A5025318877 @default.
• W2023448554 creator A5043269024 @default.
• W2023448554 creator A5047104641 @default.
• W2023448554 date "2013-08-18" @default.
• W2023448554 modified "2023-10-18" @default.
• W2023448554 title "Cascading verification: an integrated method for domain-specific model checking" @default.
• W2023448554 cites W1554033134 @default.
• W2023448554 cites W1591758264 @default.
• W2023448554 cites W1859458367 @default.
• W2023448554 cites W1980051708 @default.
• W2023448554 cites W2054952602 @default.
• W2023448554 cites W2068192554 @default.
• W2023448554 cites W2082040758 @default.
• W2023448554 cites W2087252615 @default.
• W2023448554 cites W2106954335 @default.
• W2023448554 cites W2117220858 @default.
• W2023448554 cites W2133125644 @default.
• W2023448554 cites W2153813483 @default.
• W2023448554 cites W2154829072 @default.
• W2023448554 cites W2157939192 @default.
• W2023448554 cites W2166309559 @default.
• W2023448554 cites W2260968445 @default.
• W2023448554 doi "https://doi.org/10.1145/2491411.2491454" @default.
• W2023448554 hasPublicationYear "2013" @default.
• W2023448554 type Work @default.
• W2023448554 sameAs 2023448554 @default.
• W2023448554 citedByCount "4" @default.
• W2023448554 countsByYear W20234485542014 @default.
• W2023448554 countsByYear W20234485542017 @default.
• W2023448554 countsByYear W20234485542018 @default.
• W2023448554 countsByYear W20234485542022 @default.
• W2023448554 crossrefType "proceedings-article" @default.
• W2023448554 hasAuthorship W2023448554A5009340852 @default.
• W2023448554 hasAuthorship W2023448554A5025318877 @default.
• W2023448554 hasAuthorship W2023448554A5043269024 @default.
• W2023448554 hasAuthorship W2023448554A5047104641 @default.
• W2023448554 hasBestOaLocation W20234485542 @default.
• W2023448554 hasConcept C104317684 @default.
• W2023448554 hasConcept C110251889 @default.
• W2023448554 hasConcept C111472728 @default.
• W2023448554 hasConcept C111498074 @default.
• W2023448554 hasConcept C115903868 @default.
• W2023448554 hasConcept C124304363 @default.
• W2023448554 hasConcept C134306372 @default.
• W2023448554 hasConcept C138885662 @default.
• W2023448554 hasConcept C154945302 @default.
• W2023448554 hasConcept C179603123 @default.
• W2023448554 hasConcept C185592680 @default.
• W2023448554 hasConcept C199360897 @default.
• W2023448554 hasConcept C207685749 @default.
• W2023448554 hasConcept C2777904410 @default.
• W2023448554 hasConcept C30888246 @default.
• W2023448554 hasConcept C33923547 @default.
• W2023448554 hasConcept C36503486 @default.
• W2023448554 hasConcept C41008148 @default.
• W2023448554 hasConcept C55493867 @default.
• W2023448554 hasConcept C66746571 @default.
• W2023448554 hasConcept C78639753 @default.
• W2023448554 hasConcept C80444323 @default.
• W2023448554 hasConcept C92548554 @default.
• W2023448554 hasConceptScore W2023448554C104317684 @default.
• W2023448554 hasConceptScore W2023448554C110251889 @default.
• W2023448554 hasConceptScore W2023448554C111472728 @default.
• W2023448554 hasConceptScore W2023448554C111498074 @default.
• W2023448554 hasConceptScore W2023448554C115903868 @default.
• W2023448554 hasConceptScore W2023448554C124304363 @default.
• W2023448554 hasConceptScore W2023448554C134306372 @default.
• W2023448554 hasConceptScore W2023448554C138885662 @default.
• W2023448554 hasConceptScore W2023448554C154945302 @default.
• W2023448554 hasConceptScore W2023448554C179603123 @default.
• W2023448554 hasConceptScore W2023448554C185592680 @default.
• W2023448554 hasConceptScore W2023448554C199360897 @default.
• W2023448554 hasConceptScore W2023448554C207685749 @default.
• W2023448554 hasConceptScore W2023448554C2777904410 @default.
• W2023448554 hasConceptScore W2023448554C30888246 @default.
• W2023448554 hasConceptScore W2023448554C33923547 @default.
• W2023448554 hasConceptScore W2023448554C36503486 @default.
• W2023448554 hasConceptScore W2023448554C41008148 @default.
• W2023448554 hasConceptScore W2023448554C55493867 @default.
• W2023448554 hasConceptScore W2023448554C66746571 @default.
• W2023448554 hasConceptScore W2023448554C78639753 @default.
• W2023448554 hasConceptScore W2023448554C80444323 @default.
• W2023448554 hasConceptScore W2023448554C92548554 @default.
• W2023448554 hasLocation W20234485541 @default.
• W2023448554 hasLocation W20234485542 @default.
• W2023448554 hasLocation W20234485543 @default.
• W2023448554 hasOpenAccess W2023448554 @default.
• W2023448554 hasPrimaryLocation W20234485541 @default.
• W2023448554 hasRelatedWork W142178511 @default.
• W2023448554 hasRelatedWork W1572578464 @default.
• W2023448554 hasRelatedWork W1845114988 @default.
• W2023448554 hasRelatedWork W1991474412 @default.
• W2023448554 hasRelatedWork W2127574686 @default.
• W2023448554 hasRelatedWork W2154822190 @default.
• W2023448554 hasRelatedWork W2332368292 @default.
• W2023448554 hasRelatedWork W4287186141 @default.
• W2023448554 hasRelatedWork W2472692802 @default.

• next