Back to University of Twente portal
Stochastic model checking
Katoen, J.P. (2006) Stochastic model checking. In: Stochastic Hybrid Systems. Automation and Control Engineering Series, 24 . CRC Press, pp. 77-104. ISBN 9780849390838
Full text not available from this repository. The author is invited to upload the full text of this publication.
| Item Type: | Book Section |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/63706 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 237639