Matches in SemOpenAlex for { <https://semopenalex.org/work/W2973408192> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2973408192 abstract "Modern model checkers help system engineers to pinpoint the reason for the faulty behavior of a system by providing counter-example traces. For finite-state systems and (omega )-regular specifications, they come in the form of lassos. Lassos that are unnecessarily long should be avoided, as they make finding the cause for an error in a trace harder." @default.
- W2973408192 created "2019-09-26" @default.
- W2973408192 creator A5050112206 @default.
- W2973408192 date "2019-01-01" @default.
- W2973408192 modified "2023-09-27" @default.
- W2973408192 title "How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?" @default.
- W2973408192 cites W1489260687 @default.
- W2973408192 cites W1501480203 @default.
- W2973408192 cites W1504137062 @default.
- W2973408192 cites W1511405608 @default.
- W2973408192 cites W1544607874 @default.
- W2973408192 cites W1594530072 @default.
- W2973408192 cites W1761635979 @default.
- W2973408192 cites W1805536084 @default.
- W2973408192 cites W1964680921 @default.
- W2973408192 cites W2004616983 @default.
- W2973408192 cites W2100112273 @default.
- W2973408192 cites W2103976262 @default.
- W2973408192 cites W2107182799 @default.
- W2973408192 cites W2115309705 @default.
- W2973408192 cites W2118382442 @default.
- W2973408192 cites W2158027086 @default.
- W2973408192 cites W2894097570 @default.
- W2973408192 doi "https://doi.org/10.1007/978-3-030-30942-8_16" @default.
- W2973408192 hasPublicationYear "2019" @default.
- W2973408192 type Work @default.
- W2973408192 sameAs 2973408192 @default.
- W2973408192 citedByCount "0" @default.
- W2973408192 crossrefType "book-chapter" @default.
- W2973408192 hasAuthorship W2973408192A5050112206 @default.
- W2973408192 hasConcept C110251889 @default.
- W2973408192 hasConcept C11413529 @default.
- W2973408192 hasConcept C138885662 @default.
- W2973408192 hasConcept C167822520 @default.
- W2973408192 hasConcept C199360897 @default.
- W2973408192 hasConcept C41008148 @default.
- W2973408192 hasConcept C41895202 @default.
- W2973408192 hasConcept C48103436 @default.
- W2973408192 hasConcept C75291252 @default.
- W2973408192 hasConcept C80444323 @default.
- W2973408192 hasConceptScore W2973408192C110251889 @default.
- W2973408192 hasConceptScore W2973408192C11413529 @default.
- W2973408192 hasConceptScore W2973408192C138885662 @default.
- W2973408192 hasConceptScore W2973408192C167822520 @default.
- W2973408192 hasConceptScore W2973408192C199360897 @default.
- W2973408192 hasConceptScore W2973408192C41008148 @default.
- W2973408192 hasConceptScore W2973408192C41895202 @default.
- W2973408192 hasConceptScore W2973408192C48103436 @default.
- W2973408192 hasConceptScore W2973408192C75291252 @default.
- W2973408192 hasConceptScore W2973408192C80444323 @default.
- W2973408192 hasLocation W29734081921 @default.
- W2973408192 hasOpenAccess W2973408192 @default.
- W2973408192 hasPrimaryLocation W29734081921 @default.
- W2973408192 hasRelatedWork W1153235030 @default.
- W2973408192 hasRelatedWork W132616380 @default.
- W2973408192 hasRelatedWork W1475719308 @default.
- W2973408192 hasRelatedWork W1507612039 @default.
- W2973408192 hasRelatedWork W1549312786 @default.
- W2973408192 hasRelatedWork W2005159791 @default.
- W2973408192 hasRelatedWork W2008144935 @default.
- W2973408192 hasRelatedWork W2054391605 @default.
- W2973408192 hasRelatedWork W2107221421 @default.
- W2973408192 hasRelatedWork W2182529769 @default.
- W2973408192 hasRelatedWork W2182846365 @default.
- W2973408192 hasRelatedWork W2184742056 @default.
- W2973408192 hasRelatedWork W2186876923 @default.
- W2973408192 hasRelatedWork W2295105386 @default.
- W2973408192 hasRelatedWork W2461864720 @default.
- W2973408192 hasRelatedWork W2905471263 @default.
- W2973408192 hasRelatedWork W2913718044 @default.
- W2973408192 hasRelatedWork W3049174439 @default.
- W2973408192 hasRelatedWork W3104105531 @default.
- W2973408192 hasRelatedWork W56121865 @default.
- W2973408192 isParatext "false" @default.
- W2973408192 isRetracted "false" @default.
- W2973408192 magId "2973408192" @default.
- W2973408192 workType "book-chapter" @default.