Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/vmcai/DelahayeLP16
AU - Delahaye, Benoît
AU - Lime, Didier
AU - Petrucci, Laure
TI - Parameter Synthesis for Parametric Interval Markov Chains.
BT - Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
SP - 372
EP - 390
PY - 2016//
DO - 10.1007/978-3-662-49122-5_18
UR - https://doi.org/10.1007/978-3-662-49122-5_18
ER -
