151
click to vote
FOSSACS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...