Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.Zhang, L. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
CAV 2010. Computer Aided Verification. Berlin: Springer, 2010 - (Touili, T.; Cook, B.; Jackson, P.), s. 196-211. Lecture Notes in Computer Science, 6174. ISBN 978-3-642-14294-9. ISSN 0302-9743.
[CAV 2010. International conference on Computer Aided Verification /55./. Edinburgh (GB), 15.07.2010-19.07.2010]
http://hdl.handle.net/11104/0191084
Počet záznamů: 1