119 citations · 468 across the 38 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger +1
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For examp…