Sciweavers

TACAS
2007
Springer

Assume-Guarantee Synthesis

14 years 5 months ago
Assume-Guarantee Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TACAS
Authors Krishnendu Chatterjee, Thomas A. Henzinger
Comments (0)