@inproceedings{AMU7,
title = {Derivatives of Quantitative Regular Expressions },
author = {Alur, Rajeev and Mamouras, Konstantinos and Ulus, Dogan},
year = {2017},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
pages = {75--95},
team = {TEMPO},
}