Stochastic model checking


Katoen, J.P. (2006) Stochastic model checking. In: C.G. Cassandras & J. Lygeros (Eds.), 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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 237639