Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/forte/PetrucciP18
AU - Petrucci, Laure
AU - Pol, Jaco van de
TI - Parameter Synthesis Algorithms for Parametric Interval Markov Chains.
BT - Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
SP - 121
EP - 140
PY - 2018//
DO - 10.1007/978-3-319-92612-4_7
UR - https://doi.org/10.1007/978-3-319-92612-4_7
UR - https://www.wikidata.org/entity/Q62047440
ER -
