Stochastic model checking


Share/Save/Bookmark

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

 

Repository Staff Only: item control page

Metis ID: 237639