Sciweavers

CSL
2004
Springer

Intuitionistic LTL and a New Characterization of Safety and Liveness

14 years 4 months ago
Intuitionistic LTL and a New Characterization of Safety and Liveness
Patrick Maier
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CSL
Authors Patrick Maier
Comments (0)