Конвертация μCRL-описания автомата в формат kitidis

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

Add to "Quick Collection"

Description	Size	Format
Конвертация μCRL-описания автомата в формат kitidis	374 KB	Adobe Acrobat PDF	Read	Download

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 56-58
Language: rus

Created: 04-04-2019

605 Visitors

436 Hits

185 Downloads

Радиофизический факультет Конвертация μCRL-описания автомата в формат kitidis