Вы здесь

Kuo D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Analysis of Java Message Service Providers 2001 Kuo D., Palmer D. Lecture Notes in Computer Science 06.11.2001
СТ Model and Verification of a Data Manager Based on ARIES 1992 Kuo D. Lecture Notes in Computer Science 14.11.1992