<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-04-14 12:56:28Computation tree logic Linear temporal logic Logic Science Mathematical logic CTL* Temporal logic Logic in computer science Mathematics |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-04-14 12:56:28Computation tree logic Linear temporal logic Logic Science Mathematical logic CTL* Temporal logic Logic in computer science Mathematics |
|
Temporal logic in system analysis (4) CTL logic