Matches in SemOpenAlex for { <https://semopenalex.org/work/W2500657905> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2500657905 abstract "In this paper we suggest numerical decision diagrams, a BDD-based data structure for representing certain subsets of the Euclidean space, namely those encountered in verification of timed automata. Unlike other representation schemes, NDD's are canonical and provide for all necessary operations needed in the verification and synthesis of timed automata. We report some preliminary experimental results." @default.
- W2500657905 created "2016-08-23" @default.
- W2500657905 creator A5012209374 @default.
- W2500657905 date "1997-01-01" @default.
- W2500657905 modified "2023-10-03" @default.
- W2500657905 title "Hybrid and Real-Time Systems" @default.
- W2500657905 hasPublicationYear "1997" @default.
- W2500657905 type Work @default.
- W2500657905 sameAs 2500657905 @default.
- W2500657905 citedByCount "17" @default.
- W2500657905 crossrefType "book" @default.
- W2500657905 hasAuthorship W2500657905A5012209374 @default.
- W2500657905 hasConcept C112505250 @default.
- W2500657905 hasConcept C11413529 @default.
- W2500657905 hasConcept C129782007 @default.
- W2500657905 hasConcept C162319229 @default.
- W2500657905 hasConcept C17744445 @default.
- W2500657905 hasConcept C199360897 @default.
- W2500657905 hasConcept C199539241 @default.
- W2500657905 hasConcept C2524010 @default.
- W2500657905 hasConcept C2776359362 @default.
- W2500657905 hasConcept C30788636 @default.
- W2500657905 hasConcept C33923547 @default.
- W2500657905 hasConcept C41008148 @default.
- W2500657905 hasConcept C80444323 @default.
- W2500657905 hasConcept C94625758 @default.
- W2500657905 hasConceptScore W2500657905C112505250 @default.
- W2500657905 hasConceptScore W2500657905C11413529 @default.
- W2500657905 hasConceptScore W2500657905C129782007 @default.
- W2500657905 hasConceptScore W2500657905C162319229 @default.
- W2500657905 hasConceptScore W2500657905C17744445 @default.
- W2500657905 hasConceptScore W2500657905C199360897 @default.
- W2500657905 hasConceptScore W2500657905C199539241 @default.
- W2500657905 hasConceptScore W2500657905C2524010 @default.
- W2500657905 hasConceptScore W2500657905C2776359362 @default.
- W2500657905 hasConceptScore W2500657905C30788636 @default.
- W2500657905 hasConceptScore W2500657905C33923547 @default.
- W2500657905 hasConceptScore W2500657905C41008148 @default.
- W2500657905 hasConceptScore W2500657905C80444323 @default.
- W2500657905 hasConceptScore W2500657905C94625758 @default.
- W2500657905 hasLocation W25006579051 @default.
- W2500657905 hasOpenAccess W2500657905 @default.
- W2500657905 hasPrimaryLocation W25006579051 @default.
- W2500657905 hasRelatedWork W1484364085 @default.
- W2500657905 hasRelatedWork W1522448884 @default.
- W2500657905 hasRelatedWork W1535937574 @default.
- W2500657905 hasRelatedWork W1555190167 @default.
- W2500657905 hasRelatedWork W1556566737 @default.
- W2500657905 hasRelatedWork W1562722544 @default.
- W2500657905 hasRelatedWork W1589421353 @default.
- W2500657905 hasRelatedWork W1608292181 @default.
- W2500657905 hasRelatedWork W1720140439 @default.
- W2500657905 hasRelatedWork W1878074184 @default.
- W2500657905 hasRelatedWork W2000947342 @default.
- W2500657905 hasRelatedWork W2004463571 @default.
- W2500657905 hasRelatedWork W2101508170 @default.
- W2500657905 hasRelatedWork W2102566802 @default.
- W2500657905 hasRelatedWork W2142718416 @default.
- W2500657905 hasRelatedWork W2153439859 @default.
- W2500657905 hasRelatedWork W2164889165 @default.
- W2500657905 hasRelatedWork W2287992279 @default.
- W2500657905 hasRelatedWork W2489001267 @default.
- W2500657905 hasRelatedWork W2911432472 @default.
- W2500657905 isParatext "false" @default.
- W2500657905 isRetracted "false" @default.
- W2500657905 magId "2500657905" @default.
- W2500657905 workType "book" @default.