KLEIBER, MichaƂ; KULPA, Zenon. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science, [S.l.], v. 2, n. 3, p. 165-186, july 2023. ISSN 2956-5839. Available at: <https://cames.ippt.pan.pl/index.php/cames/article/view/1471>. Date accessed: 22 july 2024.