@inproceedings{
 title = {Trace machines for observing continuous-time Markov chains},
 type = {inproceedings},
 year = {2004},
 pages = {259-277},
 volume = {153},
 publisher = {Elsevier},
 series = {Electronic Notes in Theoretical Computer Science},
 id = {ca284220-539d-3681-9d85-e0ce93d7b701},
 created = {2016-02-15T08:58:39.000Z},
 file_attached = {false},
 profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
 last_modified = {2017-03-22T13:51:34.979Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {WBM06},
 source_type = {inproceedings},
 private_publication = {false},
 bibtype = {inproceedings},
 author = {Wolf, V and Baier, C and Majster-Cederbaum, M},
 booktitle = {Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'04)}
}

{"_id":"EBZgE4RpYuTC9FMgJ","bibbaseid":"wolf-baier-majstercederbaum-tracemachinesforobservingcontinuoustimemarkovchains-2004","downloads":0,"creationDate":"2016-02-15T09:20:58.603Z","title":"Trace machines for observing continuous-time Markov chains","author_short":["Wolf, V.","Baier, C.","Majster-Cederbaum, M."],"year":2004,"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibdata":{"title":"Trace machines for observing continuous-time Markov chains","type":"inproceedings","year":"2004","pages":"259-277","volume":"153","publisher":"Elsevier","series":"Electronic Notes in Theoretical Computer Science","id":"ca284220-539d-3681-9d85-e0ce93d7b701","created":"2016-02-15T08:58:39.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"WBM06","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Wolf, V and Baier, C and Majster-Cederbaum, M","booktitle":"Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'04)","bibtex":"@inproceedings{\n title = {Trace machines for observing continuous-time Markov chains},\n type = {inproceedings},\n year = {2004},\n pages = {259-277},\n volume = {153},\n publisher = {Elsevier},\n series = {Electronic Notes in Theoretical Computer Science},\n id = {ca284220-539d-3681-9d85-e0ce93d7b701},\n created = {2016-02-15T08:58:39.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {WBM06},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Wolf, V and Baier, C and Majster-Cederbaum, M},\n booktitle = {Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'04)}\n}","author_short":["Wolf, V.","Baier, C.","Majster-Cederbaum, M."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"wolf-baier-majstercederbaum-tracemachinesforobservingcontinuoustimemarkovchains-2004","role":"author","urls":{},"metadata":{"authorlinks":{"wolf, v":"https://mosi.uni-saarland.de/research/"}},"downloads":0},"search_terms":["trace","machines","observing","continuous","time","markov","chains","wolf","baier","majster-cederbaum"],"keywords":[],"authorIDs":["6TtMsgho6wSDppwNh"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8"]}