Matches in SemOpenAlex for { <https://semopenalex.org/work/W1796268701> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1796268701 endingPage "190" @default.
- W1796268701 startingPage "179" @default.
- W1796268701 abstract "In this paper we discuss the practical difficulty of analyzing the behavior of timed automata and report some results obtained using an experimental BDD-based extension of KRONOS. We have treated examples originating from timing analysis of asynchronous boolean networks and CMOS circuits with delay uncertainties and the results outperform those obtained by previous implementations of timed automata verification tools." @default.
- W1796268701 created "2016-06-24" @default.
- W1796268701 creator A5012209374 @default.
- W1796268701 creator A5020750660 @default.
- W1796268701 creator A5025693758 @default.
- W1796268701 creator A5078214635 @default.
- W1796268701 date "1997-01-01" @default.
- W1796268701 modified "2023-10-06" @default.
- W1796268701 title "Some progress in the symbolic verification of timed automata" @default.
- W1796268701 cites W1482233117 @default.
- W1796268701 cites W1500239546 @default.
- W1796268701 cites W1535937574 @default.
- W1796268701 cites W1543010140 @default.
- W1796268701 cites W1552159734 @default.
- W1796268701 cites W1569051713 @default.
- W1796268701 cites W1572777470 @default.
- W1796268701 cites W1587275578 @default.
- W1796268701 cites W1637976039 @default.
- W1796268701 cites W1778175466 @default.
- W1796268701 cites W1814944153 @default.
- W1796268701 cites W1830600668 @default.
- W1796268701 cites W1874725288 @default.
- W1796268701 cites W1903000972 @default.
- W1796268701 cites W1981808971 @default.
- W1796268701 cites W2080267935 @default.
- W1796268701 cites W2101508170 @default.
- W1796268701 cites W2102380292 @default.
- W1796268701 cites W2118802216 @default.
- W1796268701 cites W2130773092 @default.
- W1796268701 cites W2150621341 @default.
- W1796268701 cites W2151612633 @default.
- W1796268701 cites W2176837466 @default.
- W1796268701 cites W4235222319 @default.
- W1796268701 cites W4253994206 @default.
- W1796268701 cites W4300021588 @default.
- W1796268701 cites W5574567 @default.
- W1796268701 doi "https://doi.org/10.1007/3-540-63166-6_19" @default.
- W1796268701 hasPublicationYear "1997" @default.
- W1796268701 type Work @default.
- W1796268701 sameAs 1796268701 @default.
- W1796268701 citedByCount "71" @default.
- W1796268701 countsByYear W17962687012012 @default.
- W1796268701 countsByYear W17962687012013 @default.
- W1796268701 countsByYear W17962687012016 @default.
- W1796268701 crossrefType "book-chapter" @default.
- W1796268701 hasAuthorship W1796268701A5012209374 @default.
- W1796268701 hasAuthorship W1796268701A5020750660 @default.
- W1796268701 hasAuthorship W1796268701A5025693758 @default.
- W1796268701 hasAuthorship W1796268701A5078214635 @default.
- W1796268701 hasBestOaLocation W17962687012 @default.
- W1796268701 hasConcept C110251889 @default.
- W1796268701 hasConcept C112505250 @default.
- W1796268701 hasConcept C11413529 @default.
- W1796268701 hasConcept C151319957 @default.
- W1796268701 hasConcept C187455244 @default.
- W1796268701 hasConcept C199360897 @default.
- W1796268701 hasConcept C26713055 @default.
- W1796268701 hasConcept C2778029271 @default.
- W1796268701 hasConcept C30788636 @default.
- W1796268701 hasConcept C31258907 @default.
- W1796268701 hasConcept C41008148 @default.
- W1796268701 hasConcept C65620979 @default.
- W1796268701 hasConcept C80444323 @default.
- W1796268701 hasConceptScore W1796268701C110251889 @default.
- W1796268701 hasConceptScore W1796268701C112505250 @default.
- W1796268701 hasConceptScore W1796268701C11413529 @default.
- W1796268701 hasConceptScore W1796268701C151319957 @default.
- W1796268701 hasConceptScore W1796268701C187455244 @default.
- W1796268701 hasConceptScore W1796268701C199360897 @default.
- W1796268701 hasConceptScore W1796268701C26713055 @default.
- W1796268701 hasConceptScore W1796268701C2778029271 @default.
- W1796268701 hasConceptScore W1796268701C30788636 @default.
- W1796268701 hasConceptScore W1796268701C31258907 @default.
- W1796268701 hasConceptScore W1796268701C41008148 @default.
- W1796268701 hasConceptScore W1796268701C65620979 @default.
- W1796268701 hasConceptScore W1796268701C80444323 @default.
- W1796268701 hasLocation W17962687011 @default.
- W1796268701 hasLocation W17962687012 @default.
- W1796268701 hasLocation W17962687013 @default.
- W1796268701 hasLocation W17962687014 @default.
- W1796268701 hasLocation W17962687015 @default.
- W1796268701 hasLocation W17962687016 @default.
- W1796268701 hasOpenAccess W1796268701 @default.
- W1796268701 hasPrimaryLocation W17962687011 @default.
- W1796268701 hasRelatedWork W1571606103 @default.
- W1796268701 hasRelatedWork W1750171350 @default.
- W1796268701 hasRelatedWork W1903000972 @default.
- W1796268701 hasRelatedWork W2035000455 @default.
- W1796268701 hasRelatedWork W2095644384 @default.
- W1796268701 hasRelatedWork W2121845202 @default.
- W1796268701 hasRelatedWork W2148140319 @default.
- W1796268701 hasRelatedWork W2569130014 @default.
- W1796268701 hasRelatedWork W2900094146 @default.
- W1796268701 hasRelatedWork W2746280673 @default.
- W1796268701 isParatext "false" @default.
- W1796268701 isRetracted "false" @default.
- W1796268701 magId "1796268701" @default.
- W1796268701 workType "book-chapter" @default.