Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894097570> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2894097570 abstract "Many temporal specifications used in practical model checking can be represented as universal very weak automata (UVW). They are structurally simple and their states can be labeled by simple temporal logic formulas that they represent. For complex temporal properties, it can be hard to understand why a trace violates a property, so when employing UVWs in model checking, this information helps with interpreting the trace. At the same time, the simple structure of UVWs helps the model checker with finding short traces." @default.
- W2894097570 created "2018-10-05" @default.
- W2894097570 creator A5049153683 @default.
- W2894097570 creator A5050112206 @default.
- W2894097570 date "2018-01-01" @default.
- W2894097570 modified "2023-10-06" @default.
- W2894097570 title "A Fragment of Linear Temporal Logic for Universal Very Weak Automata" @default.
- W2894097570 cites W140214610 @default.
- W2894097570 cites W1490980615 @default.
- W2894097570 cites W1501480203 @default.
- W2894097570 cites W1607782211 @default.
- W2894097570 cites W1841354836 @default.
- W2894097570 cites W1917363929 @default.
- W2894097570 cites W2023808162 @default.
- W2894097570 cites W2059788904 @default.
- W2894097570 cites W2065086898 @default.
- W2894097570 cites W2105618388 @default.
- W2894097570 cites W2108036288 @default.
- W2894097570 cites W2892751950 @default.
- W2894097570 cites W4241616303 @default.
- W2894097570 cites W87998981 @default.
- W2894097570 doi "https://doi.org/10.1007/978-3-030-01090-4_20" @default.
- W2894097570 hasPublicationYear "2018" @default.
- W2894097570 type Work @default.
- W2894097570 sameAs 2894097570 @default.
- W2894097570 citedByCount "3" @default.
- W2894097570 countsByYear W28940975702019 @default.
- W2894097570 countsByYear W28940975702020 @default.
- W2894097570 crossrefType "book-chapter" @default.
- W2894097570 hasAuthorship W2894097570A5049153683 @default.
- W2894097570 hasAuthorship W2894097570A5050112206 @default.
- W2894097570 hasConcept C110251889 @default.
- W2894097570 hasConcept C111472728 @default.
- W2894097570 hasConcept C112505250 @default.
- W2894097570 hasConcept C11413529 @default.
- W2894097570 hasConcept C138885662 @default.
- W2894097570 hasConcept C189950617 @default.
- W2894097570 hasConcept C199360897 @default.
- W2894097570 hasConcept C25016198 @default.
- W2894097570 hasConcept C2776235265 @default.
- W2894097570 hasConcept C2780586882 @default.
- W2894097570 hasConcept C41008148 @default.
- W2894097570 hasConcept C41895202 @default.
- W2894097570 hasConcept C4777664 @default.
- W2894097570 hasConcept C75291252 @default.
- W2894097570 hasConcept C80444323 @default.
- W2894097570 hasConceptScore W2894097570C110251889 @default.
- W2894097570 hasConceptScore W2894097570C111472728 @default.
- W2894097570 hasConceptScore W2894097570C112505250 @default.
- W2894097570 hasConceptScore W2894097570C11413529 @default.
- W2894097570 hasConceptScore W2894097570C138885662 @default.
- W2894097570 hasConceptScore W2894097570C189950617 @default.
- W2894097570 hasConceptScore W2894097570C199360897 @default.
- W2894097570 hasConceptScore W2894097570C25016198 @default.
- W2894097570 hasConceptScore W2894097570C2776235265 @default.
- W2894097570 hasConceptScore W2894097570C2780586882 @default.
- W2894097570 hasConceptScore W2894097570C41008148 @default.
- W2894097570 hasConceptScore W2894097570C41895202 @default.
- W2894097570 hasConceptScore W2894097570C4777664 @default.
- W2894097570 hasConceptScore W2894097570C75291252 @default.
- W2894097570 hasConceptScore W2894097570C80444323 @default.
- W2894097570 hasLocation W28940975701 @default.
- W2894097570 hasOpenAccess W2894097570 @default.
- W2894097570 hasPrimaryLocation W28940975701 @default.
- W2894097570 hasRelatedWork W113896694 @default.
- W2894097570 hasRelatedWork W12256342 @default.
- W2894097570 hasRelatedWork W1494018217 @default.
- W2894097570 hasRelatedWork W1516952404 @default.
- W2894097570 hasRelatedWork W1528929318 @default.
- W2894097570 hasRelatedWork W1556323883 @default.
- W2894097570 hasRelatedWork W183734499 @default.
- W2894097570 hasRelatedWork W1944053331 @default.
- W2894097570 hasRelatedWork W2067145567 @default.
- W2894097570 hasRelatedWork W2088417279 @default.
- W2894097570 hasRelatedWork W2148079691 @default.
- W2894097570 hasRelatedWork W2408292326 @default.
- W2894097570 hasRelatedWork W2883931543 @default.
- W2894097570 hasRelatedWork W2889050595 @default.
- W2894097570 hasRelatedWork W2911594569 @default.
- W2894097570 hasRelatedWork W3024763028 @default.
- W2894097570 hasRelatedWork W3084162087 @default.
- W2894097570 hasRelatedWork W962129127 @default.
- W2894097570 hasRelatedWork W2182153662 @default.
- W2894097570 hasRelatedWork W2308522270 @default.
- W2894097570 isParatext "false" @default.
- W2894097570 isRetracted "false" @default.
- W2894097570 magId "2894097570" @default.
- W2894097570 workType "book-chapter" @default.