@inproceedings{worrell2020,
    Author = {Ilie, Andrei and Worrell, James},
    BookTitle = {Proc. of TIME'20},
    File = {Parametric Model Checking Continuous-Time Markov Chains - paper\_dagstuhl\_time - a - i.pdf},
    Title = {Parametric Model Checking Continuous-Time Markov Chains},
    Year = {2020},
    date-added = {2020-09-14 10:28:20 +0200},
    date-modified = {2020-09-14 10:29:10 +0200},
    doi = {10.4230/LIPIcs.TIME.2020.4}
}

@inproceedings{worrell2020, Author = {Ilie, Andrei and Worrell, James}, BookTitle = {Proc. of TIME'20}, File = {Parametric Model Checking Continuous-Time Markov Chains - paper_dagstuhl_time - a - i.pdf}, Title = {Parametric Model Checking Continuous-Time Markov Chains}, Year = {2020}, date-added = {2020-09-14 10:28:20 +0200}, date-modified = {2020-09-14 10:29:10 +0200}, doi = {10.4230/LIPIcs.TIME.2020.4} }