Яременко, Федор Викторович
Вычислительный Центр им. А.А. Дородницына РАН
http://www.ccas.ru
Phone: +7 (499) 135-24-89, Fax: +7 (499) 135-61-59
Report
- Яременко Ф.В.*
Представление BPMN-диаграмм на языки темпоральной логики линейного времени.
*Вычислительный Центр им. А.А. Дородницына РАН