BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-262616,
    author = {Arming, Sebastian and Bartocci, Ezio and Sokolova, Ana},
    title = {SEA-PARAM: Exploring Schedulers in Parametric MDPs},
    booktitle = {Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems},
    year = {2017},
    pages = {25--38},
    publisher = {EPCTS},
    address = {250},
    doi = {10.4204/EPTCS.250.3},
    note = {talk: QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; 2017-04-23}
}


1 Datensatz ausgegeben