The quantitative linear-time–branchingtime spectrum (2011)

by U Fahrenberg, A Legay, C Thrane
Venue:In FSTTCS