Model-checking algorithms for continuous-time markov chains

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: IEEE Transactions on Software Engineering

Abbreviated Title: IIEEE Trans. Software Eng.

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 0098-5589

Publication date Created: June 2003

Publication date (Print): June 2003

Volume: 29

Issue: 6

Pages: 524-541

Article

DOI: 10.1109/TSE.2003.1205180

SO-VID: 5f9019e6-f0ed-4e4f-b711-f1a9edff1834

History

Data availability:

Comments

Comment on this article

scite_

Cited by 92

See all cited by