Model-checking continuous-time Markov chains

doi:10.1145/343369.343402

Model-checking continuous-time Markov chains

Full Text:

Pdf

Buy this Article

Authors:	Adnan Aziz	Univ. of Texas at Austin, Austin
	Kumud Sanwal	Lucent Technologies
	Vigyan Singhal	Tempus-Fugit, Inc.
	Robert Brayton	Univ. of California at Berkeley, Berkeley

	2000 Article
Bibliometrics
· Downloads (6 Weeks): 7 · Downloads (12 Months): 79 · Downloads (cumulative): 880 · Citation Count: 98

Published in:

· Journal

ACM Transactions on Computational Logic (TOCL) TOCL Homepage archive

Volume 1 Issue 1, July 2000
Pages 162 - 170
ACM New York, NY, USA
table of contents doi>10.1145/343369.343402

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: formal verification logics of programs model checking model checking protocol verification real time stochastic processes systems of equations theory transcendental number theory verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder