Efficient local correctness checking for single and alternating boolean equation systems (Q4632435): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: A linear algorithm to solve fixed-point equations on transition systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Tableau-based model checking in the propositional mu-calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A linear-time model-checking algorithm for the alternation-free modal mu- calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Branching time and abstraction in bisimulation semantics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Efficient local correctness checking for single and alternating boolean equation systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3033311 / rank | |||
Normal rank | |||
Latest revision as of 01:53, 19 July 2024
scientific article; zbMATH DE number 7048683
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient local correctness checking for single and alternating boolean equation systems |
scientific article; zbMATH DE number 7048683 |
Statements
Efficient local correctness checking for single and alternating boolean equation systems (English)
0 references
29 April 2019
0 references
0 references
