Počet záznamů: 1
Safety Verification By Interval Based Quantified Constraint Solving,
- 1.Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
Safety Verification By Interval Based Quantified Constraint Solving,.
SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
[SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
http://hdl.handle.net/11104/0271070
Počet záznamů: 1