Вы здесь

Gardiner P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Methodology for Model-Checking Ad-hoc Networks 2003 Zakiuddin I., Goldsmith M., Whittaker P., Gardiner P. Lecture Notes in Computer Science 29.05.2003
СТ Data refinement of predicate transformers 1991 Gardiner P., Morgan C. Theoretical Computer Science 15.10.1991