Куатбаева, Акмарал
Университет Туран
Казахстан, Алматы
Доклад
- Бектемесов А.Т.*, Куатбаева А.**
Применение model checking для комбинаторных задач
*Алтайский государственный технический университет (Барнаул), Россия
**Университет Туран (Алматы), Казахстан