Вы здесь

Pandya P. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Computational Power of Operators in ICSP with Fairness 1994 Kumar K. N., Pandya P. K. Lecture Notes in Computer Science 11.01.1995
СТ A Calculus for Hybrid Sampled Data Systems 1994 Huiqun Y., Pandya P. K., Yongqiang S. Lecture Notes in Computer Science 19.10.1994
СТ Formal Design of Hybrid Systems 1994 Xinyao Y., Ji W., Chaochen Z., Pandya P. K. Lecture Notes in Computer Science 19.10.1994
СТ Infinitary Parallelism without Unbounded Nondeterminism in CSP 1993 Kumar K. N., Pandya P. K. Acta Informatica 07.12.1993
СТ Verification Tools in the Development of Provably Correct Compilers 1993 Krishna Rao M.R. K., Pandya P. K., Shyamasundar R. K. Lecture Notes in Computer Science 27.05.1993

Редактор: