Полный текст публикации: ОБЩАЯ КОНЦЕПЦИЯ И АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА ИНСТРУМЕНТАЛЬНОЙ ПОДДЕРЖКИ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
Полный текст публикации: ОБЩАЯ КОНЦЕПЦИЯ И АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА ИНСТРУМЕНТАЛЬНОЙ ПОДДЕРЖКИ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
Полный текст не загружен, но возможно он доступен по одной из следующих ссылок: