University of Illinois Urbana-Champaign

Strategy Logic extended with Refinement, CGS, and Nondeterminism

Griffith, Dennis; Gunter, Elsa L.

Content Files
StrategyLogicExtensions.pdf
Loading…

Permalink

Description

Owning Collections