DMCA

Better quality in synthesis through quantitative objectives (2009)

by Roderick Bloem , Krishnendu Chatterjee , Thomas A. Henzinger
Venue:In CoRR, abs/0904.2638
Citations:57 - 18 self