• No results found

Alternating-time Temporal Logics with Irrevocable Strategies

N/A
N/A
Info
Nedlasting
Protected

Academic year: 2022

Share "Alternating-time Temporal Logics with Irrevocable Strategies"

Copied!
10
0
0

Laster.... (Se fulltekst nå)

Last ned nå ( 10 sider )

Fulltekst

Referanser

Last ned nå ( PDF - 10 sider - 213.00 KB )

RELATERTE DOKUMENTER