Sciweavers

CONCUR
2008
Springer

Environment Assumptions for Synthesis

14 years 1 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Comments (0)