Počet záznamů: 1
SAT Modulo Differential Equation Simulations
- 1.KOLÁRIK, T., RATSCHAN, S. SAT Modulo Differential Equation Simulations. In: AHRENDT, W., WEHRHEIM, H., eds. Tests and Proofs. Cham: Springer, 2020, s. 80-99. Lecture Notes on Computer Science. ISBN 978-3-030-50994-1. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-030-50995-8_5
Počet záznamů: 1