Metadata only
Date
2010Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
European Journal of ControlVolume
Pages / Article No.
Publisher
SpringerSubject
Stochastic Hybrid Systems; Model Checking; Probabilistic InvarianceOrganisational unit
03751 - Lygeros, John / Lygeros, John
More
Show all metadata
ETH Bibliography
yes
Altmetrics