Sciweavers

Share
CORR
2008
Springer

Termination Criteria for Solving Concurrent Safety and Reachability Games

8 years 10 months ago
Termination Criteria for Solving Concurrent Safety and Reachability Games
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Comments (0)
books