Matches in SemOpenAlex for { <https://semopenalex.org/work/W168506131> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W168506131 abstract "Proving that programs behave correctly is a matter of both great theoretical interest as well as practical use. One way to do this is by analyzing a model of the system in question in order to dete ..." @default.
- W168506131 created "2016-06-24" @default.
- W168506131 creator A5029611210 @default.
- W168506131 date "2012-01-01" @default.
- W168506131 modified "2023-09-27" @default.
- W168506131 title "Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata" @default.
- W168506131 cites W1482233117 @default.
- W168506131 cites W1976426006 @default.
- W168506131 cites W2101508170 @default.
- W168506131 cites W59365162 @default.
- W168506131 cites W3023485956 @default.
- W168506131 hasPublicationYear "2012" @default.
- W168506131 type Work @default.
- W168506131 sameAs 168506131 @default.
- W168506131 citedByCount "0" @default.
- W168506131 crossrefType "journal-article" @default.
- W168506131 hasAuthorship W168506131A5029611210 @default.
- W168506131 hasConcept C10138342 @default.
- W168506131 hasConcept C110251889 @default.
- W168506131 hasConcept C112505250 @default.
- W168506131 hasConcept C11413529 @default.
- W168506131 hasConcept C136643341 @default.
- W168506131 hasConcept C162324750 @default.
- W168506131 hasConcept C182306322 @default.
- W168506131 hasConcept C199360897 @default.
- W168506131 hasConcept C2777669093 @default.
- W168506131 hasConcept C41008148 @default.
- W168506131 hasConcept C77944639 @default.
- W168506131 hasConcept C80444323 @default.
- W168506131 hasConceptScore W168506131C10138342 @default.
- W168506131 hasConceptScore W168506131C110251889 @default.
- W168506131 hasConceptScore W168506131C112505250 @default.
- W168506131 hasConceptScore W168506131C11413529 @default.
- W168506131 hasConceptScore W168506131C136643341 @default.
- W168506131 hasConceptScore W168506131C162324750 @default.
- W168506131 hasConceptScore W168506131C182306322 @default.
- W168506131 hasConceptScore W168506131C199360897 @default.
- W168506131 hasConceptScore W168506131C2777669093 @default.
- W168506131 hasConceptScore W168506131C41008148 @default.
- W168506131 hasConceptScore W168506131C77944639 @default.
- W168506131 hasConceptScore W168506131C80444323 @default.
- W168506131 hasLocation W1685061311 @default.
- W168506131 hasOpenAccess W168506131 @default.
- W168506131 hasPrimaryLocation W1685061311 @default.
- W168506131 hasRelatedWork W1498781683 @default.
- W168506131 hasRelatedWork W1499482550 @default.
- W168506131 hasRelatedWork W1585666806 @default.
- W168506131 hasRelatedWork W1905205673 @default.
- W168506131 hasRelatedWork W1977308797 @default.
- W168506131 hasRelatedWork W1988088997 @default.
- W168506131 hasRelatedWork W2043990176 @default.
- W168506131 hasRelatedWork W2048551412 @default.
- W168506131 hasRelatedWork W2065465738 @default.
- W168506131 hasRelatedWork W2067613458 @default.
- W168506131 hasRelatedWork W2118675136 @default.
- W168506131 hasRelatedWork W2122095746 @default.
- W168506131 hasRelatedWork W2164889165 @default.
- W168506131 hasRelatedWork W2571179180 @default.
- W168506131 hasRelatedWork W2763333357 @default.
- W168506131 hasRelatedWork W2807780463 @default.
- W168506131 hasRelatedWork W2889459478 @default.
- W168506131 hasRelatedWork W2980529060 @default.
- W168506131 hasRelatedWork W3021938607 @default.
- W168506131 hasRelatedWork W3164183329 @default.
- W168506131 isParatext "false" @default.
- W168506131 isRetracted "false" @default.
- W168506131 magId "168506131" @default.
- W168506131 workType "article" @default.