General quantitative specification theories with modalities (2012)

by S S Bauer, U Fahrenberg, A Legay, C Thrane
Venue:of LNCS