Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578551036> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1578551036 endingPage "234" @default.
- W1578551036 startingPage "224" @default.
- W1578551036 created "2016-06-24" @default.
- W1578551036 creator A5079963438 @default.
- W1578551036 date "2010-01-01" @default.
- W1578551036 modified "2023-09-25" @default.
- W1578551036 title "Symbolic OBDD-Based Reachability Analysis Needs Exponential Space" @default.
- W1578551036 cites W143396352 @default.
- W1578551036 cites W1492643781 @default.
- W1578551036 cites W1499765196 @default.
- W1578551036 cites W1503228688 @default.
- W1578551036 cites W1808363799 @default.
- W1578551036 cites W1848130230 @default.
- W1578551036 cites W1982538209 @default.
- W1578551036 cites W1992006255 @default.
- W1578551036 cites W2065939997 @default.
- W1578551036 cites W2080060305 @default.
- W1578551036 cites W2080267935 @default.
- W1578551036 cites W2090233333 @default.
- W1578551036 cites W2092805110 @default.
- W1578551036 cites W2103612457 @default.
- W1578551036 cites W2105647719 @default.
- W1578551036 cites W2108016168 @default.
- W1578551036 cites W2117282413 @default.
- W1578551036 cites W2125161077 @default.
- W1578551036 cites W2687667803 @default.
- W1578551036 doi "https://doi.org/10.1007/978-3-642-11266-9_19" @default.
- W1578551036 hasPublicationYear "2010" @default.
- W1578551036 type Work @default.
- W1578551036 sameAs 1578551036 @default.
- W1578551036 citedByCount "3" @default.
- W1578551036 crossrefType "book-chapter" @default.
- W1578551036 hasAuthorship W1578551036A5079963438 @default.
- W1578551036 hasConcept C11413529 @default.
- W1578551036 hasConcept C114614502 @default.
- W1578551036 hasConcept C118615104 @default.
- W1578551036 hasConcept C128896722 @default.
- W1578551036 hasConcept C134306372 @default.
- W1578551036 hasConcept C136643341 @default.
- W1578551036 hasConcept C151376022 @default.
- W1578551036 hasConcept C179799912 @default.
- W1578551036 hasConcept C187455244 @default.
- W1578551036 hasConcept C197685441 @default.
- W1578551036 hasConcept C311688 @default.
- W1578551036 hasConcept C3309909 @default.
- W1578551036 hasConcept C33923547 @default.
- W1578551036 hasConcept C41008148 @default.
- W1578551036 hasConcept C80444323 @default.
- W1578551036 hasConceptScore W1578551036C11413529 @default.
- W1578551036 hasConceptScore W1578551036C114614502 @default.
- W1578551036 hasConceptScore W1578551036C118615104 @default.
- W1578551036 hasConceptScore W1578551036C128896722 @default.
- W1578551036 hasConceptScore W1578551036C134306372 @default.
- W1578551036 hasConceptScore W1578551036C136643341 @default.
- W1578551036 hasConceptScore W1578551036C151376022 @default.
- W1578551036 hasConceptScore W1578551036C179799912 @default.
- W1578551036 hasConceptScore W1578551036C187455244 @default.
- W1578551036 hasConceptScore W1578551036C197685441 @default.
- W1578551036 hasConceptScore W1578551036C311688 @default.
- W1578551036 hasConceptScore W1578551036C3309909 @default.
- W1578551036 hasConceptScore W1578551036C33923547 @default.
- W1578551036 hasConceptScore W1578551036C41008148 @default.
- W1578551036 hasConceptScore W1578551036C80444323 @default.
- W1578551036 hasLocation W15785510361 @default.
- W1578551036 hasOpenAccess W1578551036 @default.
- W1578551036 hasPrimaryLocation W15785510361 @default.
- W1578551036 hasRelatedWork W1578551036 @default.
- W1578551036 hasRelatedWork W1582081218 @default.
- W1578551036 hasRelatedWork W1976090101 @default.
- W1578551036 hasRelatedWork W2007609688 @default.
- W1578551036 hasRelatedWork W2158747250 @default.
- W1578551036 hasRelatedWork W2162199822 @default.
- W1578551036 hasRelatedWork W2406619057 @default.
- W1578551036 hasRelatedWork W2567822474 @default.
- W1578551036 hasRelatedWork W2950767190 @default.
- W1578551036 hasRelatedWork W4226117819 @default.
- W1578551036 isParatext "false" @default.
- W1578551036 isRetracted "false" @default.
- W1578551036 magId "1578551036" @default.
- W1578551036 workType "book-chapter" @default.