Protean: автоматизированное средство на основе сетей Петри высокого уровня для спецификации и проверки протоколов связи / ВЦП. - 44 c. - Текст : непосредственный.