Approximate Model Checking of Stochastic Hybrid Systems

Bibliografiske detaljer
Main Authors: Abate, A, Katoen, J, Lygeros, J, Prandini, M
Format: Journal article
Udgivet: 2010