Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514792002> ?p ?o ?g. }
- W1514792002 endingPage "241" @default.
- W1514792002 startingPage "216" @default.
- W1514792002 abstract "This paper addresses the following general problem of tree regular model-checking: decide whether R*(L) ∩ Lp = θ where R* is the reflexive and transitive closure of a successor relation induced by a term rewriting system R, and L and Lp are both regular tree languages. We develop an automatic approximation-based technique to handle this - undecidable in general - problem in most practical cases, extending a recent work by Feuillade, Genet and Viet Triem Tong. We also make this approach fully automatic for practical validation of security protocols." @default.
- W1514792002 created "2016-06-24" @default.
- W1514792002 creator A5049597004 @default.
- W1514792002 creator A5070920431 @default.
- W1514792002 creator A5081683705 @default.
- W1514792002 date "2008-09-01" @default.
- W1514792002 modified "2023-09-25" @default.
- W1514792002 title "Approximation-based tree regular model-checking" @default.
- W1514792002 cites W1454700437 @default.
- W1514792002 cites W1486456646 @default.
- W1514792002 cites W1488313539 @default.
- W1514792002 cites W1490661426 @default.
- W1514792002 cites W1491035119 @default.
- W1514792002 cites W1497416278 @default.
- W1514792002 cites W1509963753 @default.
- W1514792002 cites W1511206757 @default.
- W1514792002 cites W1513444661 @default.
- W1514792002 cites W1516753891 @default.
- W1514792002 cites W1523445881 @default.
- W1514792002 cites W1526145713 @default.
- W1514792002 cites W1532452539 @default.
- W1514792002 cites W1535940543 @default.
- W1514792002 cites W1541979851 @default.
- W1514792002 cites W1544459976 @default.
- W1514792002 cites W1547584984 @default.
- W1514792002 cites W1551719154 @default.
- W1514792002 cites W1566807398 @default.
- W1514792002 cites W1569690296 @default.
- W1514792002 cites W1578151293 @default.
- W1514792002 cites W1586140256 @default.
- W1514792002 cites W1586583492 @default.
- W1514792002 cites W1587641948 @default.
- W1514792002 cites W1593799327 @default.
- W1514792002 cites W1600499695 @default.
- W1514792002 cites W1605747430 @default.
- W1514792002 cites W1607166944 @default.
- W1514792002 cites W170425430 @default.
- W1514792002 cites W1731318210 @default.
- W1514792002 cites W1779054477 @default.
- W1514792002 cites W1786379804 @default.
- W1514792002 cites W1881102326 @default.
- W1514792002 cites W1905205673 @default.
- W1514792002 cites W1944323241 @default.
- W1514792002 cites W1967744155 @default.
- W1514792002 cites W1971521983 @default.
- W1514792002 cites W1975308297 @default.
- W1514792002 cites W1975745970 @default.
- W1514792002 cites W1992375708 @default.
- W1514792002 cites W2001900016 @default.
- W1514792002 cites W2013689938 @default.
- W1514792002 cites W2026901712 @default.
- W1514792002 cites W2027656737 @default.
- W1514792002 cites W2034753880 @default.
- W1514792002 cites W2040008220 @default.
- W1514792002 cites W2055259417 @default.
- W1514792002 cites W2063288032 @default.
- W1514792002 cites W2076527924 @default.
- W1514792002 cites W2081719098 @default.
- W1514792002 cites W2088129830 @default.
- W1514792002 cites W2091043802 @default.
- W1514792002 cites W2095807803 @default.
- W1514792002 cites W2109893633 @default.
- W1514792002 cites W2112051961 @default.
- W1514792002 cites W2114189125 @default.
- W1514792002 cites W2114497629 @default.
- W1514792002 cites W2116543470 @default.
- W1514792002 cites W2117064875 @default.
- W1514792002 cites W2130123502 @default.
- W1514792002 cites W2135892629 @default.
- W1514792002 cites W2150682469 @default.
- W1514792002 cites W2153921791 @default.
- W1514792002 cites W2160520283 @default.
- W1514792002 cites W2168453169 @default.
- W1514792002 cites W2224085299 @default.
- W1514792002 cites W2722911145 @default.
- W1514792002 cites W2914517473 @default.
- W1514792002 cites W3023968070 @default.
- W1514792002 cites W77095868 @default.
- W1514792002 cites W1568479630 @default.
- W1514792002 hasPublicationYear "2008" @default.
- W1514792002 type Work @default.
- W1514792002 sameAs 1514792002 @default.
- W1514792002 citedByCount "2" @default.
- W1514792002 crossrefType "journal-article" @default.
- W1514792002 hasAuthorship W1514792002A5049597004 @default.
- W1514792002 hasAuthorship W1514792002A5070920431 @default.
- W1514792002 hasAuthorship W1514792002A5081683705 @default.
- W1514792002 hasConcept C110251889 @default.
- W1514792002 hasConcept C112505250 @default.
- W1514792002 hasConcept C113174947 @default.
- W1514792002 hasConcept C11413529 @default.
- W1514792002 hasConcept C114614502 @default.
- W1514792002 hasConcept C118615104 @default.
- W1514792002 hasConcept C121332964 @default.
- W1514792002 hasConcept C124101348 @default.
- W1514792002 hasConcept C128896722 @default.
- W1514792002 hasConcept C134306372 @default.
- W1514792002 hasConcept C146834321 @default.