Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156717832> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2156717832 endingPage "307" @default.
- W2156717832 startingPage "297" @default.
- W2156717832 created "2016-06-24" @default.
- W2156717832 creator A5034755987 @default.
- W2156717832 creator A5077618125 @default.
- W2156717832 creator A5079779466 @default.
- W2156717832 date "2007-08-03" @default.
- W2156717832 modified "2023-10-16" @default.
- W2156717832 title "Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving" @default.
- W2156717832 cites W1518271219 @default.
- W2156717832 cites W1583869287 @default.
- W2156717832 cites W1785980509 @default.
- W2156717832 cites W1986558678 @default.
- W2156717832 cites W2001859357 @default.
- W2156717832 cites W2010596503 @default.
- W2156717832 cites W2024148935 @default.
- W2156717832 cites W2057361103 @default.
- W2156717832 cites W2142785340 @default.
- W2156717832 cites W2148680350 @default.
- W2156717832 cites W2152406824 @default.
- W2156717832 cites W2154967452 @default.
- W2156717832 doi "https://doi.org/10.1007/978-3-540-72863-4_31" @default.
- W2156717832 hasPublicationYear "2007" @default.
- W2156717832 type Work @default.
- W2156717832 sameAs 2156717832 @default.
- W2156717832 citedByCount "0" @default.
- W2156717832 crossrefType "book-chapter" @default.
- W2156717832 hasAuthorship W2156717832A5034755987 @default.
- W2156717832 hasAuthorship W2156717832A5077618125 @default.
- W2156717832 hasAuthorship W2156717832A5079779466 @default.
- W2156717832 hasConcept C110251889 @default.
- W2156717832 hasConcept C111472728 @default.
- W2156717832 hasConcept C111498074 @default.
- W2156717832 hasConcept C11413529 @default.
- W2156717832 hasConcept C118615104 @default.
- W2156717832 hasConcept C124304363 @default.
- W2156717832 hasConcept C134306372 @default.
- W2156717832 hasConcept C138885662 @default.
- W2156717832 hasConcept C162838799 @default.
- W2156717832 hasConcept C199360897 @default.
- W2156717832 hasConcept C23123167 @default.
- W2156717832 hasConcept C2778770139 @default.
- W2156717832 hasConcept C30888246 @default.
- W2156717832 hasConcept C33923547 @default.
- W2156717832 hasConcept C34388435 @default.
- W2156717832 hasConcept C41008148 @default.
- W2156717832 hasConcept C80444323 @default.
- W2156717832 hasConceptScore W2156717832C110251889 @default.
- W2156717832 hasConceptScore W2156717832C111472728 @default.
- W2156717832 hasConceptScore W2156717832C111498074 @default.
- W2156717832 hasConceptScore W2156717832C11413529 @default.
- W2156717832 hasConceptScore W2156717832C118615104 @default.
- W2156717832 hasConceptScore W2156717832C124304363 @default.
- W2156717832 hasConceptScore W2156717832C134306372 @default.
- W2156717832 hasConceptScore W2156717832C138885662 @default.
- W2156717832 hasConceptScore W2156717832C162838799 @default.
- W2156717832 hasConceptScore W2156717832C199360897 @default.
- W2156717832 hasConceptScore W2156717832C23123167 @default.
- W2156717832 hasConceptScore W2156717832C2778770139 @default.
- W2156717832 hasConceptScore W2156717832C30888246 @default.
- W2156717832 hasConceptScore W2156717832C33923547 @default.
- W2156717832 hasConceptScore W2156717832C34388435 @default.
- W2156717832 hasConceptScore W2156717832C41008148 @default.
- W2156717832 hasConceptScore W2156717832C80444323 @default.
- W2156717832 hasLocation W21567178321 @default.
- W2156717832 hasOpenAccess W2156717832 @default.
- W2156717832 hasPrimaryLocation W21567178321 @default.
- W2156717832 hasRelatedWork W1548505328 @default.
- W2156717832 hasRelatedWork W1598914363 @default.
- W2156717832 hasRelatedWork W1994348879 @default.
- W2156717832 hasRelatedWork W2064247971 @default.
- W2156717832 hasRelatedWork W2127574686 @default.
- W2156717832 hasRelatedWork W2154822190 @default.
- W2156717832 hasRelatedWork W2156717832 @default.
- W2156717832 hasRelatedWork W2186626863 @default.
- W2156717832 hasRelatedWork W2332368292 @default.
- W2156717832 hasRelatedWork W2474628799 @default.
- W2156717832 isParatext "false" @default.
- W2156717832 isRetracted "false" @default.
- W2156717832 magId "2156717832" @default.
- W2156717832 workType "book-chapter" @default.