Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1506717375 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1303.4533 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CONCUR 2003 - Concurrency Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4258566 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A survey of stochastic \(\omega \)-regular games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3408150 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of probabilistic verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385542 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order logic with two variables and unary temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: STACS 2005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4501540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Complexity of Ltl Model-Checking of Recursive State Machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4205072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of propositional linear temporal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4547769 / rank | |||
Normal rank |
Latest revision as of 11:02, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two Variable vs. Linear Temporal Logic in Model Checking and Games |
scientific article |
Statements
Two Variable vs. Linear Temporal Logic in Model Checking and Games (English)
0 references
2 September 2011
0 references