ℹ️
🇬🇧
Search
Search for publications relevant for "model checking"
model checking
Publication
Class
Person
Publication
Programmes
L2 stability for Godunov-like numerical fluxes
Publication at Faculty of Mathematics and Physics
|
2023
3 people
People
person
doc. RNDr. Václav Kučera Ph.D.
Faculty of Mathematics and Physics
person
RNDr. Lukáš Vacek
Faculty of Mathematics and Physics
person
Chi-Wang Shu
Person without faculty affiliation
