Вы здесь

Viswanathan M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Learning to Verify Safety Properties 2004 Vardhan A., Sen K., Viswanathan M., Agha G. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ Verisim: Formal Analysis of Network Simulations 2000 Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. Software Engineering Notes 14.12.2000