Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799125424> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1799125424 endingPage "119" @default.
- W1799125424 startingPage "108" @default.
- W1799125424 abstract "A large number of properties of a vector addition system—for instance coverability, boundedness, or regularity—can be decided using its coverability graph, by looking for some characteristic pattern. We propose to unify the known exponential-space upper bounds on the complexity of such problems on vector addition systems, by seeing them as instances of the model-checking problem for a suitable extension of computation tree logic, which allows to check for the existence of these patterns. This provides new insights into what constitutes a “coverability-like” property." @default.
- W1799125424 created "2016-06-24" @default.
- W1799125424 creator A5042421707 @default.
- W1799125424 creator A5044352951 @default.
- W1799125424 date "2011-01-01" @default.
- W1799125424 modified "2023-10-13" @default.
- W1799125424 title "Model Checking Coverability Graphs of Vector Addition Systems" @default.
- W1799125424 cites W1485572331 @default.
- W1799125424 cites W1506645925 @default.
- W1799125424 cites W1835325438 @default.
- W1799125424 cites W1977601940 @default.
- W1799125424 cites W1989788631 @default.
- W1799125424 cites W2008435081 @default.
- W1799125424 cites W2011495892 @default.
- W1799125424 cites W2017315323 @default.
- W1799125424 cites W2022070887 @default.
- W1799125424 cites W2044858512 @default.
- W1799125424 cites W2055081868 @default.
- W1799125424 cites W2066238373 @default.
- W1799125424 cites W2087749569 @default.
- W1799125424 cites W2099040330 @default.
- W1799125424 cites W2106001218 @default.
- W1799125424 cites W2158243788 @default.
- W1799125424 cites W3104578959 @default.
- W1799125424 cites W3123850752 @default.
- W1799125424 cites W3143767522 @default.
- W1799125424 doi "https://doi.org/10.1007/978-3-642-22993-0_13" @default.
- W1799125424 hasPublicationYear "2011" @default.
- W1799125424 type Work @default.
- W1799125424 sameAs 1799125424 @default.
- W1799125424 citedByCount "20" @default.
- W1799125424 countsByYear W17991254242012 @default.
- W1799125424 countsByYear W17991254242013 @default.
- W1799125424 countsByYear W17991254242014 @default.
- W1799125424 countsByYear W17991254242015 @default.
- W1799125424 countsByYear W17991254242016 @default.
- W1799125424 countsByYear W17991254242019 @default.
- W1799125424 countsByYear W17991254242020 @default.
- W1799125424 countsByYear W17991254242021 @default.
- W1799125424 crossrefType "book-chapter" @default.
- W1799125424 hasAuthorship W1799125424A5042421707 @default.
- W1799125424 hasAuthorship W1799125424A5044352951 @default.
- W1799125424 hasBestOaLocation W17991254242 @default.
- W1799125424 hasConcept C111472728 @default.
- W1799125424 hasConcept C113174947 @default.
- W1799125424 hasConcept C11413529 @default.
- W1799125424 hasConcept C114614502 @default.
- W1799125424 hasConcept C118615104 @default.
- W1799125424 hasConcept C132525143 @default.
- W1799125424 hasConcept C134306372 @default.
- W1799125424 hasConcept C138885662 @default.
- W1799125424 hasConcept C151376022 @default.
- W1799125424 hasConcept C189950617 @default.
- W1799125424 hasConcept C199360897 @default.
- W1799125424 hasConcept C2778029271 @default.
- W1799125424 hasConcept C33923547 @default.
- W1799125424 hasConcept C41008148 @default.
- W1799125424 hasConcept C45374587 @default.
- W1799125424 hasConcept C80444323 @default.
- W1799125424 hasConceptScore W1799125424C111472728 @default.
- W1799125424 hasConceptScore W1799125424C113174947 @default.
- W1799125424 hasConceptScore W1799125424C11413529 @default.
- W1799125424 hasConceptScore W1799125424C114614502 @default.
- W1799125424 hasConceptScore W1799125424C118615104 @default.
- W1799125424 hasConceptScore W1799125424C132525143 @default.
- W1799125424 hasConceptScore W1799125424C134306372 @default.
- W1799125424 hasConceptScore W1799125424C138885662 @default.
- W1799125424 hasConceptScore W1799125424C151376022 @default.
- W1799125424 hasConceptScore W1799125424C189950617 @default.
- W1799125424 hasConceptScore W1799125424C199360897 @default.
- W1799125424 hasConceptScore W1799125424C2778029271 @default.
- W1799125424 hasConceptScore W1799125424C33923547 @default.
- W1799125424 hasConceptScore W1799125424C41008148 @default.
- W1799125424 hasConceptScore W1799125424C45374587 @default.
- W1799125424 hasConceptScore W1799125424C80444323 @default.
- W1799125424 hasLocation W17991254241 @default.
- W1799125424 hasLocation W17991254242 @default.
- W1799125424 hasLocation W17991254243 @default.
- W1799125424 hasLocation W17991254244 @default.
- W1799125424 hasLocation W17991254245 @default.
- W1799125424 hasLocation W17991254246 @default.
- W1799125424 hasOpenAccess W1799125424 @default.
- W1799125424 hasPrimaryLocation W17991254241 @default.
- W1799125424 hasRelatedWork W1568173680 @default.
- W1799125424 hasRelatedWork W2033571057 @default.
- W1799125424 hasRelatedWork W2069998960 @default.
- W1799125424 hasRelatedWork W2090914728 @default.
- W1799125424 hasRelatedWork W2320266418 @default.
- W1799125424 hasRelatedWork W2352495365 @default.
- W1799125424 hasRelatedWork W2766697009 @default.
- W1799125424 hasRelatedWork W3080875783 @default.
- W1799125424 hasRelatedWork W4236163602 @default.
- W1799125424 hasRelatedWork W4251067554 @default.
- W1799125424 isParatext "false" @default.
- W1799125424 isRetracted "false" @default.
- W1799125424 magId "1799125424" @default.
- W1799125424 workType "book-chapter" @default.