71
Voted
FMCAD
2006
Springer
15 years 2 months ago
2006
Springer
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B