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,. In: SCAN 2016. Book of Abstracts. Uppsala University, 2016, s. 107-108.
Počet záznamů: 1