{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T06:51:14Z","timestamp":1725432674197},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsn.2003.1209982","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"673-673","source":"Crossref","is-referenced-by-count":5,"title":["ETMCC: model checking performability properties of Markov chains"],"prefix":"10.1109","author":[{"given":"H.","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.t-P.","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Meyer-Kayser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Siegle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-40911-4_24","article-title":"Towards model checking stochastic process algebra","author":"hermanns","year":"2000","journal-title":"Integrated Formal Methods"},{"key":"2","first-page":"358","article-title":"Model Checking Continuous Time Markov Chains by Transient Analysis","author":"baier","year":"2000","journal-title":"CAV"},{"key":"1","first-page":"269","article-title":"Verifying continuous time Markov chains","author":"aziz","year":"1996","journal-title":"CAV"},{"key":"4","article-title":"A tool for model checking Markov chains","author":"hermanns","year":"2003","journal-title":"Int Journal on Software Tools for Technology Transfer"}],"event":{"name":"2003 International Conference on Dependable Systems and Networks, 2003.","location":"San Francisco, CA, USA"},"container-title":["2003 International Conference on Dependable Systems and Networks, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8589\/27228\/01209982.pdf?arnumber=1209982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:15:42Z","timestamp":1497586542000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1209982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/dsn.2003.1209982","relation":{},"subject":[]}}