Počet záznamů: 1
Constraints for Continuous Reachability in the Verification of Hybrid Systems
- 1.Ratschan, Stefan - She, Z.
Constraints for Continuous Reachability in the Verification of Hybrid Systems.
Artificial Intelligence and Symbolic Computation. Berlin: Springer, 2006 - (Calmet, J.; Ida, T.; Wang, D.), s. 196-210. Lecture Notes in Artificial Intelligence, 4120. ISBN 3-540-39728-0.
[AISC 2006. International Conference on Artificial Intelligence and Symbolic Computation /8./. Beijing (CN), 20.09.2006-22.09.2006]
http://hdl.handle.net/11104/0183323
Počet záznamů: 1