@inproceedings{c5e5162de8034ea29bf0afb796e36883,
title = "Parametric and Quantitative Extensions of Modal Transition Systems",
author = "Uli Fahrenberg and Larsen, {Kim Guldstrand} and Axel Legay and Louis-Marie Traonouez",
year = "2014",
month = feb,
day = "14",
doi = "10.1007/978-3-642-54848-2",
language = "English",
volume = "8415",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "84--97",
editor = "Saddek Bensalem and Yassine Lakhneck and Axel Legay",
booktitle = "From Programs to Systems.",
address = "Germany",
}