@inproceedings{
 title = {Abstraction for Stochastic Systems by Erlang`s Method of Stages},
 type = {inproceedings},
 year = {2008},
 pages = {279-294},
 volume = {5201},
 websites = {http://link.springer.com/chapter/10.1007%2F978-3-540-85361-9_24#page-1},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 id = {ccc739f2-1a14-3d5b-86b9-c3a6ca02f4c7},
 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 = {KKLW08},
 source_type = {inproceedings},
 private_publication = {false},
 abstract = {This paper proposes a novel abstraction technique based on Erlang’s method of stages for continuous-time Markov chains (CTMCs). As abstract models Erlang-k interval processes are proposed where state residence times are governed by Poisson processes and transition probabilities are specified by intervals. We provide a three-valued semantics of CSL (Continuous Stochastic Logic) for Erlang-k interval processes, and show that both affirmative and negative verification results are preserved by our abstraction. The feasibility of our technique is demonstrated by a quantitative analysis of an enzyme-catalyzed substrate conversion, a well-known case study from biochemistry.},
 bibtype = {inproceedings},
 author = {Katoen, J.-P. and Klink, D and Leucker, M and Wolf, V},
 booktitle = {Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)}
}

{"_id":"zo5Xqhuc5SqoMbNKu","bibbaseid":"katoen-klink-leucker-wolf-abstractionforstochasticsystemsbyerlangsmethodofstages-2008","authorIDs":["6TtMsgho6wSDppwNh"],"author_short":["Katoen, J.","Klink, D.","Leucker, M.","Wolf, V."],"bibdata":{"title":"Abstraction for Stochastic Systems by Erlang`s Method of Stages","type":"inproceedings","year":"2008","pages":"279-294","volume":"5201","websites":"http://link.springer.com/chapter/10.1007%2F978-3-540-85361-9_24#page-1","publisher":"Springer","series":"Lecture Notes in Computer Science","id":"ccc739f2-1a14-3d5b-86b9-c3a6ca02f4c7","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":"KKLW08","source_type":"inproceedings","private_publication":false,"abstract":"This paper proposes a novel abstraction technique based on Erlang’s method of stages for continuous-time Markov chains (CTMCs). As abstract models Erlang-k interval processes are proposed where state residence times are governed by Poisson processes and transition probabilities are specified by intervals. We provide a three-valued semantics of CSL (Continuous Stochastic Logic) for Erlang-k interval processes, and show that both affirmative and negative verification results are preserved by our abstraction. The feasibility of our technique is demonstrated by a quantitative analysis of an enzyme-catalyzed substrate conversion, a well-known case study from biochemistry.","bibtype":"inproceedings","author":"Katoen, J.-P. and Klink, D and Leucker, M and Wolf, V","booktitle":"Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)","bibtex":"@inproceedings{\n title = {Abstraction for Stochastic Systems by Erlang`s Method of Stages},\n type = {inproceedings},\n year = {2008},\n pages = {279-294},\n volume = {5201},\n websites = {http://link.springer.com/chapter/10.1007%2F978-3-540-85361-9_24#page-1},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n id = {ccc739f2-1a14-3d5b-86b9-c3a6ca02f4c7},\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 = {KKLW08},\n source_type = {inproceedings},\n private_publication = {false},\n abstract = {This paper proposes a novel abstraction technique based on Erlang’s method of stages for continuous-time Markov chains (CTMCs). As abstract models Erlang-k interval processes are proposed where state residence times are governed by Poisson processes and transition probabilities are specified by intervals. We provide a three-valued semantics of CSL (Continuous Stochastic Logic) for Erlang-k interval processes, and show that both affirmative and negative verification results are preserved by our abstraction. The feasibility of our technique is demonstrated by a quantitative analysis of an enzyme-catalyzed substrate conversion, a well-known case study from biochemistry.},\n bibtype = {inproceedings},\n author = {Katoen, J.-P. and Klink, D and Leucker, M and Wolf, V},\n booktitle = {Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)}\n}","author_short":["Katoen, J.","Klink, D.","Leucker, M.","Wolf, V."],"urls":{"Website":"http://link.springer.com/chapter/10.1007%2F978-3-540-85361-9_24#page-1"},"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"katoen-klink-leucker-wolf-abstractionforstochasticsystemsbyerlangsmethodofstages-2008","role":"author","metadata":{"authorlinks":{"wolf, v":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63"}},"downloads":0},"bibtype":"inproceedings","creationDate":"2020-12-14T14:32:04.050Z","downloads":0,"keywords":[],"search_terms":["abstraction","stochastic","systems","erlang","method","stages","katoen","klink","leucker","wolf"],"title":"Abstraction for Stochastic Systems by Erlang`s Method of Stages","year":2008,"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8","5u2EFGtZ3pCiduxDD","dXRJbWa2wiNDJKxYE","qA8W3BSHDuk7cCNvk","2252seNhipfTmjEBQ"]}