Очередное заседание научного семинара лаборатории

11 февраля 2013 г. состоялось очередное заседание научного семинара. Слушался доклад Ю. Новиковой по теме «Временные автоматы (Timed Automata)».

11 февраля 2013 г. состоялось очередное заседание научного семинара. Слушался доклад Ю. Новиковой по теме «Временные автоматы (Timed Automata)».