- Tytuł:
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.
- Autorzy:
- Źródło:
- Automated Reasoning & Mathematics; 2013, p189-228, 40p
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.