Вы здесь

Lei Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to Unfolding Asynchronous Communication Protocols 2005 Lei Y., Iyer P. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.11.2005
СТ A General Model for Reachability Testing of Concurrent Programs 2004 Carver R. H., Lei Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005