136
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...