Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции	2 MB	Adobe Acrobat PDF	Read	Download

Title: Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Creator: Ермаков, Антон Дмитриевич
Contributor: Томский государственный университет Научное управление Лаборатории НУ
Date: 2014

Relationships: Show Relationship Browser for this Object
collection(s): Научное управление
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Language: rus

Created: 30-04-2015

917 Visitors

661 Hits

261 Downloads

Научное управление Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции